- 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
Completeness with respect to a chain and universal models in fuzzy logic
Archive for Mathematical Logic 50 (1-2):161-183 (2011)
Abstract
In this paper we investigate fuzzy propositional and first order logics which are complete or strongly complete with respect to a single chain, and we relate this properties with the existence of a universal chain for the logic.My notes
Similar books and articles
Strict core fuzzy logics and quasi-witnessed models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
Non-standard completeness of first-order MTL's extension using single-chain method.S. Ahmad Mirsanei - unknown
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
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.
Completeness of intermediate logics with doubly negated axioms.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Mathematical Logic Quarterly 60 (1-2):6-11.
Fuzzy logics based on [0,1)-continuous uninorms.Dov Gabbay & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):425-449.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Structural completeness in propositional logics of dependence.Rosalie Iemhoff & Fan Yang - 2016 - Archive for Mathematical Logic 55 (7-8):955-975.
Analytics
Added to PP
2013-10-27
Downloads
27 (#578,242)
6 months
7 (#592,005)
2013-10-27
Downloads
27 (#578,242)
6 months
7 (#592,005)
Historical graph of downloads
Citations of this work
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.Matteo Bianchi & Franco Montagna - 2015 - Studia Logica 103 (6):1163-1181.
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains.Matteo Bianchi - 2013 - Studia Logica 101 (1):11-29.
References found in this work
Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
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.
Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.
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-6686886f5-xdvnm uwo