Irreflexive modality as a new logical connective in the Dummett logic

DOI10.1134/S0037446614010212MaRDI QIDQ467677zbMATH OpenFDO

Authors Aleksandr D. Yashin

Publication date 4 November 2014

Published in Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

Dummett logicnew logical connectiveNovikov completeness

Mathematics Subject Classification ID

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

Recommendations

• Dummett logic, irreflexive modality and Novikov completeness
• Irreflexive modality, the Dummett logic, and continual chains
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• New constants in two pretabular superintuitionistic logics
• New solutions to Novikov's problem for intuitionistic connectives

Cites work

• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• New constants in two pretabular superintuitionistic logics
• New operations in intuitionistic calculus
• On formulas of one variable in intuitionistic propositional calculus
• Pretabular superintuitionistic logic

Cited in

(3)

• Irreflexive modality, the Dummett logic, and continual chains
• Dummett logic, irreflexive modality and Novikov completeness
• Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness

This page was built for publication: Irreflexive modality as a new logical connective in the Dummett logic

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