The following pages link to (Q3604278):
Displaying 37 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- A family of strict/tolerant logics (Q830368) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Editorial introduction. Truth values. I (Q1015488) (← links)
- How true it is = who says it's true (Q1015490) (← links)
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Reasoning within fuzzy OWL 2 EL revisited (Q1795363) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Identity and aboutness (Q2056226) (← links)
- A new kind of implication to reason with unknown information (Q2117119) (← links)
- Expanding Belnap: dualities for a new class of default bilattices (Q2200478) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- A computational interpretation of conceptivism (Q4583359) (← 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)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
- Reconciling communication delays and negation (Q6164472) (← links)