Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
    Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. Algebraic semantics for these logics are (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • An algebraic characterization of the notion of structural completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.
    A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras, where * is a continuous t-norm. In this paper we investigate the structure of the (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic.Andrzej Wronski - 1986 - Bulletin of the Section of Logic 15 (2):48-51.
    This is a summary of a talk delivered at the Winter School of Logic held in Rabka, 24.02 – 04.03.1986 by the Department of Logic of the Jagiellonian University. We wish to announce here several results on embeddability of quotient algebras of certain kind into algebras of some varieties related to the class of Heyting algebras. A “by product” is the deduction theorem for a large family of intermediate consequence operations.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
    In the paper some consequence operations generated by ukasiewicz's matrices are examined.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Structural Completeness of the Propositional Calculus.W. A. Pogorzelski - 1975 - Journal of Symbolic Logic 40 (4):604-605.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
    Hereditary structural completeness is established for a range of substructural logics, mainly without the weakening rule, including fragments of various relevant or many-valued logics. Also, structural completeness is disproved for a range of systems, settling some previously open questions.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Structural completeness of Gödel's and Dummett's propositional calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A new proof of structural completeness of Lukasiewicz's logics.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):145-150.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On structural completeness of the infinite-valued Lukasiewicz's propositional calculus.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):153-156.
    Download  
     
    Export citation  
     
    Bookmark   1 citation