The following pages link to Four-valued logic (Q1422105):
Displaying 12 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)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Generalized Kripke frames (Q863180) (← 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)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- A relational semantics for the logic of bounded lattices (Q5227167) (← links)
