Switch to: Citations

Add references

You must login to add references.
  1. Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
    The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
    In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • On matrix representations of consequence operations of Łlukasiewicz's sentential calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A complete many-valued logic with product-conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
    A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
    Download  
     
    Export citation  
     
    Bookmark   34 citations