scientific article

zbMath1370.03017MaRDI QIDQ2811656

Janusz Ciuciura

Publication date: 10 June 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (9)

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

This page was built for publication: