Pages that link to "Item:Q5705945"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705945):
Displayed 15 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic (Q2948585) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops (Q5426007) (← links)