Logic for Programming, Artificial Intelligence, and Reasoning
From MaRDI portal
Publication:5705945
DOI10.1007/b106931zbMath1109.03019OpenAlexW4206255911MaRDI QIDQ5705945
George Metcalfe, Christian G. Fermüller, Agata Ciabattoni
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106931
Related Items (15)
From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ Product logic and probabilistic Ulam games ⋮ Graph-based decision for Gödel-Dummett logics ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic ⋮ Labelled Calculi for Łukasiewicz Logics ⋮ Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers ⋮ Proof search and co-NP completeness for many-valued logics ⋮ The Rényi-Ulam games and many-valued logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops ⋮ From games to truth functions: a generalization of Giles's game ⋮ Dialogue games for many-valued logics -- an overview ⋮ On Metric Temporal Łukasiewicz Logic ⋮ Giles's game and the proof theory of Łukasiewicz logic
This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning