A weakly-intuitionistic logic I1

MaRDI QIDQ2811656zbMATH OpenFDO

Authors Janusz Ciuciura

Publication date 10 June 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

paraconsistent logicparacomplete logic\(I1\)\(P1\)Sette's calculusweakly-intuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• Maximal weakly-intuitionistic logics
• scientific article; zbMATH DE number 859797
• Paraconsistency and Sette's calculus P1
• scientific article; zbMATH DE number 1390272
• Conditions for the applicability of classical logic in the framework of languages of nonclassical logics

Cited in

(9)

• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• On the question of the criteria for the paracompleteness of logics
• Generalized correspondence analysis for three-valued logics
• Deduction normalization theorem for Sette's logic and its modifications
• Об одном классе n-значных литеральных паранепротиворечивых / параполных логик
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
• A lattice of the paracomplete calculi
• О критерии паранормальности для $n$-значных логических матриц

This page was built for publication: A weakly-intuitionistic logic \(I1\)

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