The structure of interlaced bilattices

DOI10.1017/S0960129500001018MaRDI QIDQ4715676zbMATH OpenOpenAlexFDO

Authors Arnon Avron

Publication date 18 November 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500001018

zbMATH Keywords

bounded latticesequational basisfinite set of equationsGinsberg-Fitting productinterlaced bilatticesvariety

Mathematics Subject Classification ID

Lattices (06B99) Applications of universal algebra in computer science (08A70)

Recommendations

• Bilattices and hyperidentities
• Varieties of interlaced bilattices
• scientific article; zbMATH DE number 19702
• A note on the structure of bilattices

Cites work

• Bilattices and the semantics of logic programming

Cited in

(37)

• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• The value of the four values
• Fixpoint semantics for logic programming a survey
• Bitopology and four-valued logic
• A duality theory for bilattices
• Residuated bilattices
• q-bilattices
• Constraint tableaux for two-dimensional fuzzy logics
• L-concept lattices with positive and negative attributes: modeling uncertainty and reduction of size
• Valuations: bi, tri, and tetra
• Distributive bilattices from the perspective of natural duality theory.
• The product representation theorem for interlaced pre-bilattices: some historical remarks.
• Representation of interlaced trilattices
• Bilattices and hyperidentities
• Filter theory of bilattices in the semantics of logic programming
• A duality on bilattices.
• Bilattice logics and demi-negation
• A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
• Preference Modeling by Rectangular Bilattices
• Bilattices with implications
• scientific article; zbMATH DE number 1953895 (Why is no real title available?)
• Priestley duality for bilattices
• Hyperidentities and related concepts. I
• Hyperidentities and related concepts. II
• scientific article; zbMATH DE number 1367576 (Why is no real title available?)
• A note on the structure of bilattices
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• The strict/tolerant idea and bilattices
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
• Boole-De Morgan bilattices
• Completeness and cut-elimination theorems for trilattice logics
• Varieties of interlaced bilattices
• Derivations on distributive bilattices
• Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
• Some useful 16-valued logics: How a computer network should think
• A family of strict/tolerant logics
• Weakly idempotent lattices and bilattices, non-idempotent Plonka functions.

This page was built for publication: The structure of interlaced bilattices

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