Finiteness in Infinite-Valued Łukasiewicz Logic
- 1 January 2000
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 9 (1) , 5-29
- https://doi.org/10.1023/a:1008311022292
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositionsJournal of Logic and Computation, 2000
- Algebraic Foundations of Many-Valued ReasoningPublished by Springer Nature ,2000
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Two connections between Linear Logic and Łukasiewicz LogicsPublished by Springer Nature ,1997
- On Gentzen Systems Associated with the Finite Linear MV-algebrasJournal of Logic and Computation, 1997
- Combinatorial Convexity and Algebraic GeometryPublished by Springer Nature ,1996
- Many-valued logic and mixed integer programmingAnnals of Mathematics and Artificial Intelligence, 1994
- Satisfiability in many-valued sentential logic is NP-completeTheoretical Computer Science, 1987
- Systematization of finite many-valued logics through the method of tableauxThe Journal of Symbolic Logic, 1987
- A theorem about infinite-valued sentential logicThe Journal of Symbolic Logic, 1951