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
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.