Two connections between Linear Logic and Łukasiewicz Logics
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 128-139
- https://doi.org/10.1007/3-540-63385-5_38
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Bounded contraction and Gentzen-style formulation of ?ukasiewicz logicsStudia Logica, 1996
- Commutative, residuated 1—monoidsPublished by Springer Nature ,1995
- Natural 3-valued logics—characterization and proof theoryThe Journal of Symbolic Logic, 1991
- Linear logicTheoretical Computer Science, 1987
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958
- Addendum to the paper on partially stable algebrasTransactions of the American Mathematical Society, 1958
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935