Journal of Symbolic Logic 71 (3):863 - 880 (2006)
| Abstract |
In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1154698581 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,177
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
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.
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.
Three Complexity Problems in Quantified Fuzzy Logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
Product Ł Ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
View all 10 references / Add more references
Citations of this work BETA
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.
Implicational (Semilinear) Logics I: A New Hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
Löwenheim–Skolem Theorems for Non-Classical First-Order Algebraizable Logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
Saturated Models of First-Order Many-Valued Logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.
View all 23 citations / Add more citations
Similar books and articles
Some Notes Concerning Fuzzy Logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.
Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan der Waart van Gulivank - 2009 - Journal of Logic, Language and Information 18 (3).
Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Fuzzy Intuitionistic Quantum Logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.D. Skvortsov - 2000 - Studia Logica 64 (2):257-270.
Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Analytics
Added to PP index
2010-08-24
Total views
40 ( #281,660 of 2,499,668 )
Recent downloads (6 months)
1 ( #418,206 of 2,499,668 )
2010-08-24
Total views
40 ( #281,660 of 2,499,668 )
Recent downloads (6 months)
1 ( #418,206 of 2,499,668 )
How can I increase my downloads?
Downloads
