- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A proof of standard completeness for Esteva and Godo's logic MTL
Studia Logica 70 (2):183-192 (2002)
Abstract
In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.Other Versions
No versions found
My notes
Similar books and articles
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
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.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability.Yiheng Wang, Hao Zhan, Yu Peng & Zhe Lin - manuscript
Archimedean classes in integral commutative residuated chains.Rostislav Horčík & Franco Montagna - 2009 - Mathematical Logic Quarterly 55 (3):320-336.
A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain.Guillermo Badia & Grigory Olkhovikov - forthcoming - Fuzzy Sets and Systems.
The Hahn Embedding Theorem for a Class of Residuated Semigroups.Sándor Jenei - 2020 - Studia Logica 108 (6):1161-1206.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
Every Free Biresiduated Lattice is Semisimple.H. Takamura - 2003 - Reports on Mathematical Logic:125-133.
Analytics
Added to PP
2009-01-28
Downloads
127 (#357,804)
6 months
16 (#751,944)
2009-01-28
Downloads
127 (#357,804)
6 months
16 (#751,944)
Historical graph of downloads
Citations of this work
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$.Juntao Wang, W. U. Hongwei, H. E. Pengfei & S. H. E. Yanhong - 2025 - Review of Symbolic Logic 18 (1):213-239.
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.
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.
Densification in Classes of Involutive Commutative Residuated Lattices.Sándor Jenei - forthcoming - Studia Logica:1-28.
References found in this work
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Triangular Norms.Erich Peter Klement, Radko Mesiar & Endre Pap - 2000 - Dordrecht, Netherland: Springer.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation