Pages that link to "Item:Q4715676"
From MaRDI portal
The following pages link to The structure of interlaced bilattices (Q4715676):
Displaying 29 items.
- Bilattices with implications (Q368472) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices (Q503219) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- A family of strict/tolerant logics (Q830368) (← links)
- Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. (Q895871) (← links)
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603) (← links)
- The value of the four values (Q1274293) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Bitopology and four-valued logic (Q1744388) (← links)
- Residuated bilattices (Q1933771) (← links)
- \(q\)-bilattices (Q1948519) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- L-concept lattices with positive and negative attributes: modeling uncertainty and reduction of size (Q2200700) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- The product representation theorem for interlaced pre-bilattices: some historical remarks. (Q2443681) (← links)
- Representation of interlaced trilattices (Q2446542) (← links)
- Bilattices and hyperidentities (Q2510765) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION (Q3442756) (← links)
- Preference Modeling by Rectangular Bilattices (Q3619448) (← links)
- (Q4606689) (← links)
- (Q4612556) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- (Q5863855) (← links)
