A weakly-intuitionistic logic I1

zbMATH Open1370.03017MaRDI QIDQ2811656FDOQ2811656

Authors: Janusz Ciuciura 

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

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

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)

Cited In (9)

• On the question of the criteria for the paracompleteness of logics
• Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик
• Deduction normalization theorem for Sette's logic and its modifications
• Generalized correspondence analysis for three-valued logics
• 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$-значных логических матриц
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

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)