Logic for Programming, Artificial Intelligence, and Reasoning
From MaRDI portal
Publication:5705945
DOI10.1007/b106931zbMath1109.03019MaRDI 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
03B52: Fuzzy logic; logic of vagueness
Related Items
On Metric Temporal Łukasiewicz Logic, Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops, Proof theory for locally finite many-valued logics: semi-projective logics, The Rényi-Ulam games and many-valued logics, Product logic and probabilistic Ulam games, Graph-based decision for Gödel-Dummett logics, Dialogue games for many-valued logics -- an overview, Giles's game and the proof theory of Łukasiewicz logic, Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers, Proof search and co-NP completeness for many-valued logics, From games to truth functions: a generalization of Giles's game, Hypersequent and display calculi -- a unified perspective, Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic, Labelled Calculi for Łukasiewicz Logics