- Axiomatization of Crisp Gödel Modal Logic.Ricardo Oscar Rodriguez & Amanda Vidal - 2021 - Studia Logica 109 (2):367-395.details
|
|
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties: Nonassociative substructural logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.details
|
|
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.details
|
|
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.details
|
|
Modal Definability Based on Łukasiewicz Validity Relations.Bruno Teheux - 2016 - Studia Logica 104 (2):343-363.details
|
|
Fuzzy Logics in Theories of Vagueness.Nicholas J. J. Smith - 2015 - In Petr Cintula, Christian Fermüller & Carles Noguera (eds.), Handbook of Mathematical Fuzzy Logic - Volume 3. College Publications.details
|
|
Distinguished algebraic semantics for t -norm based fuzzy logics: Methods and algebraic equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.details
|
|
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.Vincenzo Marra & Luca Spada - 2013 - Annals of Pure and Applied Logic 164 (3):192-210.details
|
|
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.details
|
|
Residuated fuzzy logics with an involutive negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.details
|
|
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.details
|
|
A Treatise on Many-Valued Logic.Siegfried Gottwald - 2001 - Research Studies Press.details
|
|
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.details
|
|
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.details
|
|
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.details
|
|
Vagueness and Degrees of Truth.Nicholas J. J. Smith - 2008 - Oxford, England: Oxford University Press.details
|
|
Fuzzy logic and approximate reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.details
|
|
The logic of inexact concepts.J. A. Goguen - 1969 - Synthese 19 (3-4):325-373.details
|
|
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.details
|
|
The liar paradox and fuzzy logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.details
|
|
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.details
|
|
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.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 proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.details
|
|
A non-classical logic for physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.details
|
|
Proof Theory for Fuzzy Logics.George Metcalfe, Nicola Olivetti & Dov M. Gabbay - 2008 - Dordrecht, Netherland: Springer.details
|
|
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.details
|
|
(1 other version)Fuzzy Models of First Order Languages.A. di Nola & G. Gerla - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):331-340.details
|
|
Fuzzy logic and fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1992 - Archive for Mathematical Logic 32 (1):1-32.details
|
|
Three complexity problems in quantified fuzzy logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.details
|
|
Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.details
|
|
Fuzzy Logic and Mathematics: A Historical Perspective.Radim Bělohlávek, Joseph W. Dauben & George J. Klir - 2017 - Oxford, England and New York, NY, USA: Oxford University Press. Edited by Joseph Warren Dauben & George J. Klir.details
|
|
Vagueness as closeness.Nicholas J. J. Smith - 2005 - Australasian Journal of Philosophy 83 (2):157 – 183.details
|
|
(1 other version)Die nichtaxiomatisierbarkeit Des unendlichwertigen prädikatenkalküls Von łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.details
|
|
(1 other version)Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.details
|
|
(1 other version)A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.details
|
|
Triangular Norms.Erich Peter Klement, Radko Mesiar & Endre Pap - 2000 - Dordrecht, Netherland: Springer.details
|
|
Randomized game semantics for semi-fuzzy quantifiers.C. G. Fermuller & C. Roschger - 2014 - Logic Journal of the IGPL 22 (3):413-439.details
|
|
Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.details
|
|
Fuzzy logic: Mathematical tools for approximate reasoning.Giangiacomo Gerla - 2003 - Bulletin of Symbolic Logic 9 (4):510-511.details
|
|
Complexity of t-tautologies.Matthias Baaz, Petr Hájek, Franco Montagna & Helmut Veith - 2001 - Annals of Pure and Applied Logic 113 (1-3):3-11.details
|
|