The logic of distributive bilattices

DOI10.1093/JIGPAL/JZQ041MaRDI QIDQ3081248zbMATH OpenOpenAlexFDO

Authors Félix Bou, Umberto Rivieccio

Publication date 7 March 2011

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10261/139265

zbMATH Keywords

abstract algebraic logicalgebraizable Gentzen systembilatticemany-valued logicnon-protoalgebraic logicreduced model

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27) Other generalizations of distributive lattices (06D75) Logic in artificial intelligence (68T27)

Recommendations

• Bilattices with implications
• scientific article; zbMATH DE number 19702
• A duality theory for bilattices
• Bilattices and hyperidentities
• Distributive bilattices from the perspective of natural duality theory.

Cited in

(33)

• Sequent calculi for semi-De Morgan and De Morgan algebras
• Locally tabular 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
• Completeness theorem for the logic characterized by distributive bilattices
• Natural dualities through product representations: bilattices and beyond
• A Note on ‘Distributive Terms, Truth, andThe Port Royal Logic’
• Truth, falsehood, information and beyond: the American plan generalized
• Bilattice logics and demi-negation
• Multivalued logics for artificial intelligence: Ginsberg's system
• Bilattices with implications
• scientific article; zbMATH DE number 19702 (Why is no real title available?)
• Super-De Morgan functions and free De Morgan quasilattices
• Priestley duality for bilattices
• A study of truth predicates in matrix semantics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Gentzenizations of relevant logics with distribution
• scientific article; zbMATH DE number 1441851 (Why is no real title available?)
• Logics for extended distributive contact lattices
• scientific article; zbMATH DE number 6302899 (Why is no real title available?)
• Abstract algebraic logic. An introductory chapter
• Varieties of interlaced bilattices
• Nelson algebras, residuated lattices and rough sets: A survey
• De Morgan clones and four-valued logics

This page was built for publication: The logic of distributive bilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081248)