On the category of Nelson paraconsistent lattices

DOI10.1093/LOGCOM/EXX002zbMATH Open1444.03097OpenAlexW2767690008MaRDI QIDQ5894705FDOQ5894705

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• A categorial equivalence for semi-Nelson algebras
• Prelinearity in (quasi-)Nelson logic
• Priestley duality for paraconsistent Nelson's logic
• Varieties of K-lattices
• Residuated lattices as an algebraic semantics 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)