The following pages link to Four-valued logic (Q1422105):
Displaying 24 items.
- Current trends in substructural logics (Q266641) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- Four valued semantics and the Liar (Q798313) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Motivation and demotivation of a four-valued logic (Q920963) (← links)
- The value of the four values (Q1274293) (← links)
- Four-valued semantics for relevant logics (and some of their rivals) (Q1346215) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Four-valued modal logic: Kripke semantics and duality (Q2987046) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- Society semantics for four-valued Łukasiewicz logic (Q3386902) (← links)
- (Q3403259) (← links)
- (Q4256061) (← links)
- (Q4273419) (← links)
- (Q4443015) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- A propositional logic with 4 values: true, false, divergent and meaningless (Q4868228) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- A relational semantics for the logic of bounded lattices (Q5227167) (← links)
