Paraconsistency and Sette’s calculus P1
From MaRDI portal
Publication:2987739
DOI10.12775/LLP.2015.003zbMath1372.03050MaRDI QIDQ2987739
Publication date: 18 May 2017
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Related Items (7)
Generalized correspondence analysis for three-valued logics ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ n-valued maximal paraconsistent matrices ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ On the system CB1 and a lattice of the paraconsistent calculi
Cites Work
This page was built for publication: Paraconsistency and Sette’s calculus P1