Dummett logic, irreflexive modality and Novikov completeness

DOI10.1007/978-3-319-69917-2_14MaRDI QIDQ5214742zbMATH OpenOpenAlexFDO

Authors Aleksandr D. Yashin

Publication date 5 February 2020

Published in Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69917-2_14

zbMATH Keywords

Dummett logicnew logical connectiveNovikov completeness

Mathematics Subject Classification ID

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

Recommendations

• Irreflexive modality as a new logical connective in the Dummett logic
• Irreflexive modality, the Dummett logic, and continual chains
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
• New constants in two pretabular superintuitionistic logics

Cites work

• A propositional calculus with denumerable matrix
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3935005 (Why is no real title available?)
• scientific article; zbMATH DE number 3554258 (Why is no real title available?)
• scientific article; zbMATH DE number 3554259 (Why is no real title available?)
• scientific article; zbMATH DE number 3191266 (Why is no real title available?)
• Irreflexive modality as a new logical connective in the Dummett logic
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• New operations in intuitionistic calculus
• Pretabular superintuitionistic logic

Cited in

(4)

• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
• Irreflexive modality as a new logical connective in the Dummett logic
• Irreflexive modality, the Dummett logic, and continual chains

This page was built for publication: Dummett logic, irreflexive modality and Novikov completeness

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