The logic of distributive bilattices
From MaRDI portal
Publication:3081248
DOI10.1093/jigpal/jzq041zbMath1214.03056OpenAlexW2138601456MaRDI QIDQ3081248
Publication date: 7 March 2011
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/139265
abstract algebraic logicreduced modelmany-valued logicbilatticealgebraizable Gentzen systemnon-protoalgebraic logic
Logic in artificial intelligence (68T27) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Abstract algebraic logic (03G27) Other generalizations of distributive lattices (06D75)
Related Items (24)
De Morgan clones and four-valued logics ⋮ Natural dualities through product representations: bilattices and beyond ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ Bilattices with implications ⋮ Locally tabular \(\neq \) locally finite ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Four-valued paradefinite logics ⋮ Residuated bilattices ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ Abstract algebraic logic. An introductory chapter ⋮ Varieties of interlaced bilattices ⋮ Priestley duality for bilattices ⋮ The product representation theorem for interlaced pre-bilattices: some historical remarks. ⋮ Representation of interlaced trilattices ⋮ Implicative twist-structures ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Bilattice Logics and Demi-Negation ⋮ De Morgan functions and free De Morgan algebras. ⋮ Valuations: bi, tri, and tetra ⋮ Identity and aboutness ⋮ Bilattice logic properly displayed ⋮ Quasi-Nelson algebras ⋮ Distributive bilattices from the perspective of natural duality theory.
This page was built for publication: The logic of distributive bilattices
