On the category of Nelson paraconsistent lattices

DOI10.1093/LOGCOM/EXX002MaRDI QIDQ5894705zbMATH OpenOpenAlexFDO

Authors Stefano Aguzzoli, Manuela Busaniche, Miguel Andrés Marcos, Brunella Gerla

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exx002

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logical aspects of lattices and related structures (03G10) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Priestley duality for paraconsistent Nelson's logic
• scientific article; zbMATH DE number 3893260
• Algebraic Semantics for Paraconsistent Nelson's Logic
• A categorial equivalence for semi-Nelson algebras

Cited in

(6)

• A categorial equivalence for semi-Nelson algebras
• A categorical equivalence for tense Nelson algebras
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Varieties of K-lattices
• Prelinearity in (quasi-)Nelson logic
• Priestley duality for paraconsistent Nelson's logic

This page was built for publication: On the category of Nelson paraconsistent lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5894705)