Bounded contraction and Gentzen-style formulation of ?ukasiewicz logics
- 1 October 1996
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 57 (2) , 437-456
- https://doi.org/10.1007/bf00370844
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.Notre Dame Journal of Formal Logic, 1993
- Natural 3-valued logics—characterization and proof theoryThe Journal of Symbolic Logic, 1991
- An axiomatization of the finite-valued ?ukasiewicz calculusStudia Logica, 1988
- Linear logicTheoretical Computer Science, 1987
- A method of axiomatization of Łukasiewicz logicsStudia Logica, 1974
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958
- A note on the deductive completeness of m-valued propositional calculiThe Journal of Symbolic Logic, 1950
- Axiom schemes for m-valued propositions calculiThe Journal of Symbolic Logic, 1945