The Semantic Completeness of a Global Intuitionistic Logic

DOI10.1002/MALQ.19980440204MaRDI QIDQ4393167zbMATH OpenOpenAlexFDO

Authors Hiroshi Aoyama

Publication date 24 May 1999

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

Heyting algebraintuitionistic logicmodal logicsemantic completeness

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• Completeness of global intuitionistic set theory
• A new semantics for intuitionistic predicate logic

Cites work

• On some intuitionistic modal logics

Cited in

(5)

• The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• Completeness of global intuitionistic set theory
• scientific article; zbMATH DE number 4116494 (Why is no real title available?)
• Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic

This page was built for publication: The Semantic Completeness of a Global Intuitionistic Logic

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