Irreflexive modality, the Dummett logic, and continual chains
From MaRDI portal
Publication:721381
DOI10.1134/S0037446618020209OpenAlexW2802529063MaRDI QIDQ721381
Aleksandr D. Yashin, A. G. Makarov
Publication date: 19 July 2018
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0037446618020209
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Irreflexive modality as a new logical connective in the Dummett logic
- 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, the Dummett logic, and continual chains
