Analytic Sequent Calculi for Abelian and Łukasiewicz Logics
- 9 July 2002
- book chapter
- Published by Springer Nature
- p. 191-205
- https://doi.org/10.1007/3-540-45616-3_14
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Algebraic Foundations of Many-Valued ReasoningPublished by Springer Nature ,2000
- Finiteness in Infinite-Valued Łukasiewicz LogicJournal of Logic, Language and Information, 2000
- Resolution and model building in the infinite-valued calculus of L̵ukasiewiczTheoretical Computer Science, 1998
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Bounded contraction and Gentzen-style formulation of ?ukasiewicz logicsStudia Logica, 1996
- Many-Valued LogicsPublished by Oxford University Press (OUP) ,1993
- Comparative Logics and Abelian l-GroupsPublished by Elsevier ,1989
- Abelian Logic (from A to Z)Published by JSTOR ,1989
- Many-valued LogicPublished by Springer Nature ,1986
- Intuitionism, Entailment, NegationPublished by Elsevier ,1973