Multi-Sorted Logic and Logical Geometry: Some Problems
Abstract: The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems back and forth. Thus, an additional freedom in choosing an approach appears. A list of problems which naturally arise in this field is another objective of the paper.
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Multi-Sorted Logic and Logical Geometry: Some Problems ; volume:48 ; number:4 ; year:2015 ; pages:578-619 ; extent:42
Demonstratio mathematica ; 48, Heft 4 (2015), 578-619 (gesamt 42)
- Urheber
-
Plotkin, B.
Plotkin, E.
- DOI
-
10.1515/dema-2015-0042
- URN
-
urn:nbn:de:101:1-2411181448106.416120706166
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Plotkin, B.
- Plotkin, E.
Ähnliche Objekte (12)
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Logic programming over polymorphically order-sorted types
Type inferencing for polymorphic order-sorted logic programs
Logic, Vol. 2.. Logical methods
Probability logic and logical probability
Logical abductivism on abductive logic
Logical Squares for Classical Logic Sentences
Computational aspects of an order sorted logic with term declarations
Computational aspects of an order-sorted logic with term declarations
Logical inquiries : basic issues in philosophical logic
Logical Instrumentalism and Anti-exceptionalism about Logic
Alpha-Structures and Ladders in Logical Geometry
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Logic programming over polymorphically order-sorted types
Type inferencing for polymorphic order-sorted logic programs
Logic, Vol. 2.. Logical methods
Probability logic and logical probability
Logical abductivism on abductive logic
Logical Squares for Classical Logic Sentences
Computational aspects of an order sorted logic with term declarations
Computational aspects of an order-sorted logic with term declarations
Logical inquiries : basic issues in philosophical logic
Logical Instrumentalism and Anti-exceptionalism about Logic
Alpha-Structures and Ladders in Logical Geometry
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Logic programming over polymorphically order-sorted types
Type inferencing for polymorphic order-sorted logic programs
Logic, Vol. 2.. Logical methods
Probability logic and logical probability
Logical abductivism on abductive logic
Logical Squares for Classical Logic Sentences
Computational aspects of an order sorted logic with term declarations
Computational aspects of an order-sorted logic with term declarations
Logical inquiries : basic issues in philosophical logic
Logical Instrumentalism and Anti-exceptionalism about Logic