Predicate logical extensions of some subintuitionistic logics

DOI10.1007/S11225-009-9166-5zbMath1163.03011OpenAlexW2092004014MaRDI QIDQ1005979

Ernst Zimmermann

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9166-5

zbMATH Keywords

Kripke semanticspredicate logic(sub)intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• An algebraic approach to non-classical logics
• Subintuitionistic logics
• A closer look at some subintuitionistic logics
• A predicate logical extension of a subintuitionistic propositional logic
• Weak Logics with Strict Implication
• On the strong semantical completeness of the intuitionistic predicate calculus
• Basic predicate calculus

This page was built for publication: Predicate logical extensions of some subintuitionistic logics