A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

DOI10.1002/MALQ.19870330502zbMATH Open0645.03005OpenAlexW2015631503MaRDI QIDQ3787971FDOQ3787971

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

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

zbMATH Keywords

intermediate predicate logicintermediate propositional logicKripke- incomplete

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• An extension of ono's completeness result
• Title not available (Why is that?)
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• Nonordered quantum logic and its YES-NO representation

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)