OUP accepted manuscript

DOI10.1093/logcom/exx002zbMath1444.03097OpenAlexW2767690008MaRDI QIDQ5894705

Stefano Aguzzoli, Miguel Andrés Marcos, Manuela Busaniche, 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

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

Related Items (2)

Varieties of K-lattices ⋮ Prelinearity in (quasi-)Nelson logic

This page was built for publication: OUP accepted manuscript