A Treatise on Many-Valued Logics (2001)

Cached

Download Links

by Siegfried Gottwald
Venue:Studies in Logic and Computation
Citations:43 - 3 self

Active Bibliography

5 Mathematical fuzzy logic as a tool for the treatment of vague information – Siegfried Gottwald - 2005
4 Classical Gentzen-type Methods in Propositional Many-Valued Logics – Arnon Avron - 2002
2 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
1 Propositional fuzzy logics based on Frank t-norms: A comparison – Erich Peter Klement, Mirko Navara - 1999
10 A Survey on Different Triangular Norm-Based Fuzzy Logics – Erich Peter Klement, Mirko Navara - 1999
an der – Mag Lara, Katharina Spendier, Betreuerin Dr. Agata Ciabattoni, Lara Katharina Spendier
MANY-VALUED LOGICS Routledge Companion to the Philosophy of Language, Article 2.6 – Nicholas J. J. Smith - 2009
The Geometry of Negation – Achille C. Varzi, Massimo Warglien - 2003
1 Reasoning with different levels of uncertainty – Ofer Arieli - 2003
2 NON-DETERMINISTIC SEMANTICS FOR LOGICAL SYSTEMS – Arnon Avron, ANNA ZAMANSKY - 2008
15 Four-Valued Semantics For Relevant Logics (and Some Of Their Rivals) – Greg Restall - 1995
119 An introduction to substructural logics – Greg Restall - 2000
1 Supervaluationism and Paraconsistency – Achille C. Varzi - 2000
12 Hypersequent calculi for Gödel logics: a survey – Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller - 2003
4 Approximating Propositional Calculi by Finite-valued Logics – Matthias Baaz, Richard Zach - 1994
Gödel Logics: Foundations and Applications to Computer Science – Richard Zach
1 Bounding Resource Consumption with Gödel-Dummett Logics – Dominique Larchey-Wendling
1 On the Undecidability of Some Sub-classical First-order Logics – Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Helmut Veith
1 On inter-expressibility of logical connectives in Gödel fuzzy logics – Vítězslav Svejdar, Kamila Bendová