Normal forms in infinite-valued logic: The case of one variable
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 272-277
- https://doi.org/10.1007/bfb0023773
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A resolution framework for finitely-valued first-order logicsJournal of Symbolic Computation, 1992
- Theory of Logical CalculiPublished by Springer Nature ,1988
- Satisfiability in many-valued sentential logic is NP-completeTheoretical Computer Science, 1987
- Computational aspects of three-valued logicPublished by Springer Nature ,1986
- Logic programs and many-valued logicPublished by Springer Nature ,1984
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- A theorem about infinite-valued sentential logicThe Journal of Symbolic Logic, 1951