Dummett Logic, Irreflexive Modality and Novikov Completeness

DOI10.1007/978-3-319-69917-2_14zbMath1429.03061OpenAlexW2791882093MaRDI QIDQ5214742

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

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

Related Items (1)

Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Irreflexive modality as a new logical connective in the Dummett logic
• New operations in intuitionistic calculus
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• Pretabular superintuitionistic logic
• A propositional calculus with denumerable matrix

This page was built for publication: Dummett Logic, Irreflexive Modality and Novikov Completeness