- 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
On Some Varieties of MTL-algebras
Logic Journal of the IGPL 13 (4):443-466 (2005)
Abstract
The study of perfect, local and bipartite IMTL-algebras presented in [29] is generalized in this paper to the general non-involutive case, i.e. to MTL-algebras. To this end we describe the radical of MTL-algebras and characterize perfect MTL-algebras as those for which the quotient by the radical is isomorphic to the two-element Boolean algebra, and a special class of bipartite MTL-algebras,Author's Profile
My notes
Similar books and articles
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157-181.
Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.Carles Noguera, Francesc Esteva & Joan Gispert - 2005 - Archive for Mathematical Logic 44 (7):869-886.
On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
An Algebraic Proof of Completeness for Monadic Fuzzy Predicate Logic.Jun Tao Wang & Hongwei Wu - forthcoming - Review of Symbolic Logic:1-27.
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Decidability of Cancellative Extension of Monoidal T-norm Based Logic.Rostislav Horcik - 2006 - Logic Journal of the IGPL 14 (6):827-843.
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.
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.
Analytics
Added to PP
2015-02-04
Downloads
15 (#244,896)
6 months
7 (#1,397,300)
2015-02-04
Downloads
15 (#244,896)
6 months
7 (#1,397,300)
Historical graph of downloads
Author's Profile
Citations of this work
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.
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157-181.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - 2022 - Studia Logica 110 (4):881-922.
Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-68866f4b87-dxklk uwo