On the logics related to A. Arruda’s system V1

DOI10.12775/LLP.1999.007zbMath1001.03030OpenAlexW2167826041MaRDI QIDQ3149170

Vladimir Mikhailovich Popov

Publication date: 24 September 2002

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.1999.007

zbMATH Keywords

sequent calculussemanticsparaconsistent logicfinite logical matrix

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (6)

О критерии паранормальности для $n$-значных логических матриц ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ 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: On the logics related to A. Arruda’s system V1