The logic of distributive bilattices
From MaRDI portal
Publication:3081248
DOI10.1093/jigpal/jzq041zbMath1214.03056MaRDI 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 logic; reduced model; many-valued logic; bilattice; algebraizable Gentzen system; non-protoalgebraic logic
68T27: Logic in artificial intelligence
03G10: Logical aspects of lattices and related structures
03B50: Many-valued logic
03G27: Abstract algebraic logic
06D75: Other generalizations of distributive lattices
Related Items
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Abstract algebraic logic. An introductory chapter, Natural dualities through product representations: bilattices and beyond, Bilattices with implications, Super-De Morgan functions and free De Morgan quasilattices, Priestley duality for bilattices, Varieties of interlaced bilattices, De Morgan clones and four-valued logics, Sequent calculi for semi-De Morgan and De Morgan algebras, Locally tabular \(\neq \) locally finite, Four-valued paradefinite logics, Residuated bilattices, Identity and aboutness, De Morgan functions and free De Morgan algebras., Valuations: bi, tri, and tetra, Bilattice logic properly displayed, Quasi-Nelson algebras, Distributive bilattices from the perspective of natural duality theory., 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
