Irreflexive modality as a new logical connective in the Dummett logic
From MaRDI portal
Publication:467677
DOI10.1134/S0037446614010212zbMathNoneMaRDI QIDQ467677
Publication date: 4 November 2014
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Related Items (3)
Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ Dummett Logic, Irreflexive Modality and Novikov Completeness
Cites Work
- Unnamed Item
- New constants in two pretabular superintuitionistic logics
- 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
- A propositional calculus with denumerable matrix
- On formulas of one variable in intuitionistic propositional calculus
This page was built for publication: Irreflexive modality as a new logical connective in the Dummett logic
