- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Semantics of Mizar as an Isabelle Object Logic ; day:28 ; month:8 ; year:2018 ; pages:1-39
Journal of automated reasoning ; (28.8.2018), 1-39
- Creator
-
Kaliszyk, Cezary
- Contributor
-
Pąk, Karol
SpringerLink (Online service)
- DOI
-
10.1007/s10817-018-9479-z
- URN
-
urn:nbn:de:101:1-2018101923384414257594
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kaliszyk, Cezary
- Pąk, Karol
- SpringerLink (Online service)
Other Objects (12)
Discourse Semantics and Textual Logic
Truthmaker Semantics for Relevant Logic
![Object coordination nets 3.0, [...]. Semantics specification](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Object coordination nets 3.0, [...]. Semantics specification
Algebraic semantics for object oriented modelling
Possible worlds : logic, semantics and ontology
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Supercover Semantics for Deontic Action Logic
Partial Semantics for Quantified Modal Logic
Synthesizing semantics for extensions of propositional logic
Graded Hoare Logic and its Categorical Semantics
Discourse Semantics and Textual Logic
Truthmaker Semantics for Relevant Logic
Object coordination nets 3.0, [...]. Semantics specification
Algebraic semantics for object oriented modelling
Possible worlds : logic, semantics and ontology
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Supercover Semantics for Deontic Action Logic
Partial Semantics for Quantified Modal Logic
Synthesizing semantics for extensions of propositional logic
Graded Hoare Logic and its Categorical Semantics
Discourse Semantics and Textual Logic
Truthmaker Semantics for Relevant Logic
Object coordination nets 3.0, [...]. Semantics specification
Algebraic semantics for object oriented modelling
Possible worlds : logic, semantics and ontology
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Supercover Semantics for Deontic Action Logic
Partial Semantics for Quantified Modal Logic
Synthesizing semantics for extensions of propositional logic