Finitely and Infinitely Valued Logics
- 4 October 2023
- book chapter
- Published by Springer Nature
- p. 281-332
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Algebraic Foundations of Many-Valued Reasoning2000
- Satisfiability in many-valued sentential logic is NP-completeTheoretical Computer Science, 1987
- A strong completeness theorem for $3$-valued logic.Notre Dame Journal of Formal Logic, 1974
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- On the Structure of Semigroups on a Compact Manifold With BoundaryAnnals of Mathematics, 1957
- Compact semigroups irreducibly connected between two idempotentsProceedings of the American Mathematical Society, 1955
- A theorem about infinite-valued sentential logicThe Journal of Symbolic Logic, 1951
- Statistical MetricsProceedings of the National Academy of Sciences, 1942
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921