Irreflexive modality in the intuitionistic propositional logic and Novikov completeness

DOI10.1023/A:1004229908345zbMath0976.03021MaRDI QIDQ1288137

Aleksandr D. Yashin

Publication date: 6 January 2002

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicintuitionistic propositional logicaxiomatizabilityNovikov completenessirreflexive modalityintuitionistic provabilityunary logical connective

Mathematics Subject Classification ID

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

Related Items (3)

Irreflexive modality as a new logical connective in the Dummett logic ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ Dummett Logic, Irreflexive Modality and Novikov Completeness

Cites Work

• Nonstandard connectives of intuitionistic propositional logic
• Modal companions of intermediate propositional logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Irreflexive modality in the intuitionistic propositional logic and Novikov completeness