Switch to: References

Add citations

You must login to add citations.
  1. Bounded contraction and Gentzen-style formulation of łukasiewicz logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.
    In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Formalna teoria wartości logicznych IФормалЯная теория логических значенийA formal theory of the logical values I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Nice Embedding in Classical Logic.Peter Verdée & Diderik Batens - 2016 - Studia Logica 104 (1):47-78.
    It is shown that a set of semi-recursive logics, including many fragments of CL, can be embedded within CL in an interesting way. A logic belongs to the set iff it has a certain type of semantics, called nice semantics. The set includes many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for CL that are goal directed with respect to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Betting on Fuzzy and Many–valued Propositions.Peter Milne - unknown
    From Introduction: In a 1968 article, ‘Probability Measures of Fuzzy Events’, Lotfi Zadeh pro-posed accounts of absolute and conditional probability for fuzzy sets (Zadeh, 1968).
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe.Helmut Thiele - 1958 - Mathematical Logic Quarterly 4 (7-11):108-142.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Die endlichen, subdirekt irreduziblen elemente der varietät der beschränkten kommutativen bck-algebren.Klaus Denecke - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):265-272.
    Download  
     
    Export citation  
     
    Bookmark  
  • Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ.Albert J. J. Anglberger & Jonathan Lukic - 2015 - Studia Logica 103 (5):985-1003.
    This paper deals with the axiomatizability problem for the matrix-based logics RMQ − and RMQ *. We present a Hilbert-style axiom system for RMQ −, and a quasi-axiomatization based on it for RMQ *. We further compare these logics to different well-known modal logics, and assess its status as relevance logics.
    Download  
     
    Export citation  
     
    Bookmark  
  • On some extensions of the class of MV-algebras.Krystyna Mruczek-Nasieniewska - 2016 - Logic and Logical Philosophy 25 (1).
    Download  
     
    Export citation  
     
    Bookmark