Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
From MaRDI portal
Publication:3656764
DOI10.1093/logcom/exp028zbMath1191.03045OpenAlexW2102134079MaRDI QIDQ3656764
Manuela Busaniche, Roberto L. O. Cignoli
Publication date: 14 January 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exp028
constructive logicmatrix semanticstwist-structuresparaconsistent Nelson logicN4-latticesresiduated lattices with involution
Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Paraconsistent logics (03B53)
Related Items
Hoop twist-structures ⋮ Twist structures and Nelson conuclei ⋮ Residuated bilattices ⋮ Belnap Constants and Nelson Logic ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Varieties of K-lattices ⋮ Prelinearity in (quasi-)Nelson logic ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Partially undetermined many-valued events and their conditional probability ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Implicative twist-structures ⋮ Logic for abstract hoop twist-structures ⋮ Paraconsistent Modal Logics ⋮ Idempotent residuated structures: Some category equivalences and their applications
This page was built for publication: Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic