Between Int_, and intuitionistic propositional logic

MaRDI QIDQ2856059zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 23 October 2013

zbMATH Keywords

intuitionistic propositional logicparacomplete logicparaconsistent logicparalogicparanormal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Cited in

(3)

• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
• On paracomplete versions of Jaśkowski's discussive logic

This page was built for publication: Between \(\mathrm{Int}_{\langle\omega,\omega\rangle}\) and intuitionistic propositional logic

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