scientific article; zbMATH DE number 3867321

MaRDI QIDQ3335778zbMATH OpenFDO

Authors G. N. Georgacarakos

Publication date 1982

zbMATH Keywords

completeness theoremintuitionistic logicKripke modelsKripke semanticsMinimal logicminimal propositional logic

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 28362
• Ontologically minimal logical semantics
• scientific article; zbMATH DE number 3053707
• Semantic minimalism for logical constants
• Minimal Axiomatization in Modal Logic
• Intuitionism and Logical Syntax
• scientific article; zbMATH DE number 7109521
• A semantic hierarchy for intuitionistic logic
• The intended interpretation of intuitionistic logic

Cited in

(7)

• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
• Ontologically minimal logical semantics
• Subminimal negation
• A syntactical study of the subminimal logic with Nelson negation
• scientific article; zbMATH DE number 3863174 (Why is no real title available?)
• “Reductio ad absurdum” and Łukasiewicz’s modalities
• scientific article; zbMATH DE number 2209921 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3335778)