Bounded contraction and gentzen-style formulation of lukasiewicz logics

Studia Logica

Volumn 57, Issue 2-3, 1996, Pages 437-456

  Prijatelj, Andreja ^a  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

Completeness; Finite axiomatizability; Gentzen style formulation; Lukasiewicz logics

Indexed keywords

EID: 0000015597     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370844     Document Type: Article

References (15)

1. AVRON, A., 1991, 'Natural 3-Valued Logics-Characterization and Proof Theory', The Journal of Symbolic Logic, 56.
2. BEAVERS, M. G, 1993, 'Extensions of the No-Valued Lukasiewicz Propositional Logic', Notre Dame Journal of Formal Logic, 34, 251-261.
3. BOICESCU, V., A. FILIPOIU, G. GEORGESCU, S. RUDEANU, 1991, 'LukasiewiczMoisil Algebras (monograph)', Annals of Discrete Mathematics 49, North-Holland, Amsterdam.
4. CHANG, C. C., 1958, 'Algebraic Analysis of Many Valued Logics', Trans. Amer. Math. Soc. 88, 467-490.
5. CHANG, C. C., 1959, 'A New Proof of the Completeness of the Lukasiewicz Axioms', Trans. Amer. Math. Soc. 93, 74-80.
6. GlRARD, J. Y., 1987, 'Linear Logic', Theoretical Computer Science 50, 1-102.
7. GRIGOLIA, R., 1977, 'Algebraic Analysis of Lukasiewicz-Tarski's n-Valued Logical Systems', in: Wöjcicki, Malinowski (eds.), Selected Papers on Lukasiewicz Sentential Calculi, Ossolineum, 81-92.
8. GRISHIN, V. N., 1976, 'On the Algebraic Semantics of a Logic without Contraction', i n D.A. Bochvar, V.N. Grishin (eds.), Studies in Set Theory and Nonclassical Logics, Collection of Papers, Nauka, Moskva, 247-264.
9. LUKASIEWICZ, J., A. TARSKI, 1930, 'Untersuchungen über den Aussagenkalkül', in Alfred Tarski: Collected Papers l, Basel (Birkhauser), 1986, 323-346.
10. ROSSER, J. B., and A. R. TURQUETTE, 1945, 'Axiom Schemes For M-Valued Propositional Calculi', The Journal of Symbolic Logic 10, 61-82.
11. ROSSER, J. B., and A. R. TURQUETTE, 1950, 'A note on the Deductive Completeness of M-Valued Propositional Calculi, The Journal of Symbolic Logic 14, 219-225.
12. ROSSER, J. B., and A. R. TURQUETTE, 1952, 'Many-valued Logics', Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam.
13. TOKARZ, M., 1974, 'A Method of Axiomatization of Lukasiewicz Logics', in Studia Logica 33, Ossolineum, 333-338.
14. TROELSTRA, A. S., 1992, 'Lectures on Linear Logic', CSLI Lecture Notes, 29, Stanford.
15. TUZIAK, R., 1988, 'An Axiomatization of the Finite-Valued Lukasiewicz Calculus', in Studio, Logica 47, Ossolineum, 49-55.