The following pages link to (Q4532200):
Displaying 37 items.
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Many-valued computational logics (Q912083) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- Pure logic of many-many ground (Q2397816) (← links)
- Institutional semantics for many-valued logics (Q2450647) (← links)
- Multivalued logic to transform potential into actual objects (Q2454637) (← links)
- Duality in finite many-valued logics (Q2534158) (← links)
- Many-valued logic and fuzzy set theory (Q2702341) (← links)
- A treatise on many-valued logics (Q2757760) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- Two Principles in Many-Valued Logic (Q2948588) (← links)
- (Q3165670) (← links)
- (Q3334069) (← links)
- (Q3612282) (← links)
- (Q3731578) (← links)
- (Q3734354) (← links)
- (Q3781070) (← links)
- (Q4342080) (← links)
- (Q4360105) (← links)
- (Q4450446) (← links)
- Kripke‐style semantics for many‐valued logics (Q4452457) (← links)
- (Q4955605) (← links)
- (Q4982589) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- (Q5187261) (← links)
- (Q5294698) (← links)
- Effectiveness and multivalued logics (Q5477627) (← links)
- (Q5493138) (← links)
- (Q5559531) (← links)
- (Q5665127) (← links)
- Many-valued logics (Q5915420) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
