A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

DOI10.1002/MALQ.19870330502MaRDI QIDQ3787971zbMATHOpenAlexFDO

Authors Pierluigi Minari

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19870330502

zbMATH Keywords

intermediate predicate logicintermediate propositional logicKripke- incomplete

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains
• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
• On some Kripke complete and Kripke incomplete intermediate predicate logics
• A remark on superintuitionistic predicate logics of Kripke frames with constant and with nested domains

Cited in

(7)

• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• Nonordered quantum logic and its YES-NO representation
• What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
• scientific article; zbMATH DE number 4174902 (Why is no real title available?)
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• An extension of ono's completeness result
• scientific article; zbMATH DE number 822106 (Why is no real title available?)

This page was built for publication: A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

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