Maximal weakly-intuitionistic logics
From MaRDI portal
Publication:1896760
DOI10.1007/BF01053037zbMath0841.03009OpenAlexW2048502195MaRDI QIDQ1896760
Walter Alexandre Carnielli, Antonio M. A. Sette
Publication date: 16 July 1996
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01053037
Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)
Related Items (21)
Generalized correspondence analysis for three-valued logics ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ A lattice of the paracomplete calculi ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Society semantics and the logic way to collective intelligence ⋮ On the question of the criteria for the paracompleteness of logics ⋮ Partial and paraconsistent three-valued logics ⋮ Rough Sets - Past, Present and Future: Some Notes ⋮ Conservative translations ⋮ First order theory for literal-paraconsistent and literal-paracomplete matrices ⋮ Limits for paraconsistent calculi ⋮ Anti-intuitionism and paraconsistency ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Combining Valuations with Society Semantics ⋮ Twist-structures semantics for the logics of the hierarchy InPk ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics ⋮ Paraconsistent logics and translations
Cites Work
This page was built for publication: Maximal weakly-intuitionistic logics
