Predicate logical extensions of some subintuitionistic logics

DOI10.1007/S11225-009-9166-5MaRDI QIDQ1005979zbMATH OpenOpenAlexFDO

Authors 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

(sub)intuitionistic logicKripke semanticspredicate logic

Mathematics Subject Classification ID

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

Recommendations

• A predicate logical extension of a subintuitionistic propositional logic
• scientific article; zbMATH DE number 1953898
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• A closer look at some subintuitionistic logics
• Subintuitionistic logics

Cites work

• A closer look at some subintuitionistic logics
• A predicate logical extension of a subintuitionistic propositional logic
• An algebraic approach to non-classical logics
• Basic predicate calculus
• scientific article; zbMATH DE number 4012582 (Why is no real title available?)
• scientific article; zbMATH DE number 1140580 (Why is no real title available?)
• scientific article; zbMATH DE number 1953898 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• On the strong semantical completeness of the intuitionistic predicate calculus
• Semantical investigations in Heyting's intuitionistic logic
• Subintuitionistic logics
• Weak Logics with Strict Implication

Cited in

(13)

• Some remarks on extending and interpreting theories with a partial predicate for truth
• Quantified extensions of canonical propositional intermediate logics
• Subintuitionistic logics
• A closer look at some subintuitionistic logics
• Subintuitionistic logics and the implications they prove
• A predicate logical extension of a subintuitionistic propositional logic
• Monotone subintuitionistic logic: duality and transfer results
• Comments on predicative logic
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• scientific article; zbMATH DE number 1953898 (Why is no real title available?)
• Subprevarieties versus extensions. Application to the logic of paradox
• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic

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

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