- Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.details
|
|
Representations of monadic MV -algebras.L. Peter Belluce, Revaz Grigolia & Ada Lettieri - 2005 - Studia Logica 81 (1):123-144.details
|
|
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.details
|
|
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.details
|
|
A game-based formal system L.A. Adamson - 1979 - Studia Logica 38:49.details
|
|
Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A complete many-valued logic with product-conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.details
|
|
Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.details
|
|
Fuzziness in Italy – Traces of a scattered history.Gianpiero Cattaneo, Giulianella Coletti, Antonio Di Nola, Mario Fedrizzi, Giangiacomo Gerla, Gabriella Pasi, Marco Elio Tabacchi, Settimo Termini & Aldo Ventre - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).details
|
|
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.details
|
|
Forcing in Łukasiewicz Predicate Logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.details
|
|
Some notes concerning fuzzy logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.details
|
|
Some (non)tautologies of łukasiewicz and product logic.Petr Hájek - 2010 - Review of Symbolic Logic 3 (2):273-278.details
|
|
Fuzzy Inference as Deduction.Lluís Godo & Petr Hájek - 1999 - Journal of Applied Non-Classical Logics 9 (1):37-60.details
|
|
Connecting bilattice theory with multivalued logic.Daniele Genito & Giangiacomo Gerla - 2014 - Logic and Logical Philosophy 23 (1):15-45.details
|
|
Monotone operators on Gödel logic.Oliver Fasching & Matthias Baaz - 2014 - Archive for Mathematical Logic 53 (3-4):261-284.details
|
|
A Game-Based Formal System for Ł ${}_{\infty}$.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49 - 73.details
|
|
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.details
|
|
Vagueness, semantics, and the language of thought.Richard DeWitt - 1994 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 1.details
|
|
On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics.Richard DeWitt - 2005 - Journal of Philosophical Logic 34 (5-6):545-560.details
|
|