Irreflexive modality as a new logical connective in the Dummett logic

DOI10.1134/S0037446614010212zbMATH OpenNoneMaRDI QIDQ467677FDOQ467677

Authors: Aleksandr D. Yashin 

Publication date: 4 November 2014

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

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

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)

Cites Work

• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• On formulas of one variable in intuitionistic propositional calculus
• New operations in intuitionistic calculus
• 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
• Pretabular superintuitionistic logic
• New constants in two pretabular superintuitionistic logics

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)