Switch to: References

Add citations

You must login to add citations.
  1. Saturated Models of First-Order Many-Valued Logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.
    This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Quasi-Varieties of Multiple Valued Logic Models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.
    We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic and study the relationship between quasi-varieties and existence of initial models in MVL. We define a concept of ‘Horn sentence’ in MVL and based upon our study of quasi-varieties of MVL models we derive the existence of initial models for MVL ‘Horn theories’. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Note on the First‐Order Logic of Complete BL‐Chains.Petr Hájek & Franco Montagna - 2008 - Mathematical Logic Quarterly 54 (4):435-446.
    In [10] it is claimed that the set of predicate tautologies of all complete BL-chains and the set of all standard tautologies coincide. As noticed in [11], this claim is wrong. In this paper we show that a complete BL-chain B satisfies all standard BL-tautologies iff for any transfinite sequence of elements of B, the condition ∧i ∈ I = 2 holds in B.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Forcing in Łukasiewicz Predicate Logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
    In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
    This work presents a model-theoretic approach to the study of first-order theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras, whose first-order theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Strict Core Fuzzy Logics and Quasi-Witnessed Models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
    In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with Δ, define Δ-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with Δ, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • First-Order T-Norm Based Fuzzy Logics with Truth-Constants: Distinguished Semantics and Completeness Properties.Francesc Esteva, Lluís Godo & Carles Noguera - 2010 - Annals of Pure and Applied Logic 161 (2):185-202.
    This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms . We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical real and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Implicational (Semilinear) Logics I: A New Hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
    In abstract algebraic logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper performs an analogous abstract study of non-classical logics based on the kind of generalized implication connectives they possess. It yields a new classification of logics expanding Leibniz (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Eq-Algebra-Based Fuzzy Type Theory And Its Extensions.Vilém Novák - 2011 - Logic Journal of the IGPL 19 (3):512-542.
    In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality and it is not a residuation with respect to multiplication. Consequently, EQ-algebras overlap with residuated lattices but are not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Brief History of Fuzzy Logic in the Czech Republic and Significance of P. Hájek for Its Development.Vilém Novák - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).
    In this paper, we will briefly look at the history of mathematical fuzzy logic in Czechoslovakia starting from the 1970s and extending until 2009. The role of P. Ha ́jek in the development of fuzzy logic is especially emphasized.
     
    Export citation  
     
    Bookmark  
  • Completeness with Respect to a Chain and Universal Models in Fuzzy Logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Elementary Equivalence in Fuzzy Predicate Logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
    Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Arithmetical Complexity of Fuzzy Predicate Logics—a Survey II.Petr Hájek - 2010 - Annals of Pure and Applied Logic 161 (2):212-219.
    Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics are surveyed and some new results are proven.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Note on Witnessed Gödel Logics with Delta.Matthias Baaz & Oliver Fasching - 2010 - Annals of Pure and Applied Logic 161 (2):121-127.
    Witnessed Gödel logics are based on the interpretation of () by minimum instead of supremum . Witnessed Gödel logics appear for many practical purposes more suited than usual Gödel logics as the occurrence of proper infima/suprema is practically irrelevant. In this note we characterize witnessed Gödel logics with absoluteness operator w.r.t. witnessed Gödel logics using a uniform translation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
    The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them. It concentrates on the propositional cases, and mentions the first-order systems more superficially. The main ideas, however, become clear already in this restricted setting.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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.
  • Fuzzy Intensional Semantics.Libor Běhounek & Ondrej Majer - 2018 - Journal of Applied Non-Classical Logics 28 (4):348-388.
    The study of weighted structures is one of the important trends in recent computer science. The aim of the article is to provide a weighted, many-valued version of classical intensional semantics formalised in the framework of higher-order fuzzy logics. We illustrate the apparatus on several variants of fuzzy S5-style modalities. The formalism is applicable to a broad array of weighted intensional notions, including alethic, epistemic, or probabilistic modalities, generalised quantifiers, counterfactual conditionals, dynamic and non-monotonic logics, and some more.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Forcing in Łukasiewicz Predicate Logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
    In this paper we study the notion of forcing for Łukasiewicz predicate logic, along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Variety Generated by All the Ordinal Sums of Perfect MV-Chains.Matteo Bianchi - 2013 - Studia Logica 101 (1):11-29.
    We present the logic BLChang, an axiomatic extension of BL (see [23]) whose corresponding algebras form the smallest variety containing all the ordinal sums of perfect MV-chains. We will analyze this logic and the corresponding algebraic semantics in the propositional and in the first-order case. As we will see, moreover, the variety of BLChang-algebras will be strictly connected to the one generated by Chang’s MV-algebra (that is, the variety generated by all the perfect MV-algebras): we will also give some new (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Applications of Ultraproducts: From Compactness to Fuzzy Elementary Classes.P. Dellunde - 2014 - Logic Journal of the IGPL 22 (1):166-180.
  • 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.
    This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  • Towards Metamathematics of Weak Arithmetics Over Fuzzy Logic.Petr Hájek - 2011 - Logic Journal of the IGPL 19 (3):467-475.
    This paper continues investigation of a very weak arithmetic FQ∼ that results from the well-known Robinson arithmetic Q by not assuming that addition and multiplication are total functions and, secondly, by weakening the classical logic to the basic mathematical fuzzy logic BL∀ . This investigation was started in the paper [5] where the first Gödel incompleteness of FQ∼ is proved. Here we first discuss Q∼ over the Gödel fuzzy logic G∀, or alternatively over the intuitionistic predicate logic, showing essential incompleteness (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fuzzy Logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations