Maximal weakly-intuitionistic logics
From MaRDI portal
Publication:1896760
DOI10.1007/BF01053037zbMath0841.03009MaRDI QIDQ1896760
Antonio M. A. Sette, Walter Alexandre Carnielli
Publication date: 16 July 1996
Published in: Studia Logica (Search for Journal in Brave)
paraconsistency; algebraizable logic; paracompleteness; hierarchy of calculi; weakly-intuitionistic logics
03A05: Philosophical and critical aspects of logic and foundations
03B20: Subsystems of classical logic (including intuitionistic logic)
03B53: Paraconsistent logics
Related Items
Conservative translations, Limits for paraconsistent calculi, Anti-intuitionism and paraconsistency, Paraconsistent logics and translations, First order theory for literal-paraconsistent and literal-paracomplete matrices, Combining Valuations with Society Semantics, Twist-structures semantics for the logics of the hierarchy InPk
Cites Work