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  
  • An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
    In this paper the completeness theorems for the finite-valued ukasiewicz logics are proved with the use of the Lindenbaum algebra.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)On functions definable in implicational algebras.Pawel Bielak - 1975 - Studia Logica 34 (1):101 - 105.
    Download  
     
    Export citation  
     
    Bookmark