- Fuzzy Sets.Lofti A. Zadeh - 1965 - Information and Control 8 (1):338--53.details
|
|
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.details
|
|
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3‐6):45-52.details
|
|
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3-6):45-52.details
|
|
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic.Carles Noguera, Francesc Esteva & Joan Gispert - 2008 - Mathematical Logic Quarterly 54 (4):387-409.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
|
|
Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.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
|
|
On the standard and rational completeness of some axiomatic extensions of the monoidal t-Norm logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.details
|
|
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199-226.details
|
|
Equational characterization of the subvarieties of BL generated by t-Norm algebras.Fransesc Esteva, Lluís Godo & Franco Montagna - 2004 - Studia Logica 76 (2):161 - 200.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.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
|
|
Basic hoops: An algebraic study of continuous T -norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.details
|
|
Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.details
|
|
Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.details
|
|
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.details
|
|
Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic.Petr Hajek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.details
|
|