Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • 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