A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

DOI10.1002/malq.19870330502zbMath0645.03005OpenAlexW2015631503MaRDI QIDQ3787971

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)

Related Items (2)

Nonordered quantum logic and its YES-NO representation ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators

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