Many-Valued Logic
- 1 January 1968
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- An intuitive interpretation of systems of four-valued logic.Notre Dame Journal of Formal Logic, 1965
- The determination of all Sheffer functions in $3$-valued logic, using a logical computer.Notre Dame Journal of Formal Logic, 1962
- Many-Valued and Modal Systems: An Intuitive ApproachThe Philosophical Review, 1955
- The Sheffer functions of 3-valued logicThe Journal of Symbolic Logic, 1954
- Some self-dual primitive functions for Propositional CalculiMathematische Annalen, 1953
- Systems of logic whose truth-values form latticesMathematische Annalen, 1951
- Conditioned Disjunction as a primitive connective for them-valued Propositional CalculusMathematische Annalen, 1951
- A Lattice-Theoretic Characterisation of Three-Valued LogicJournal of the London Mathematical Society, 1950
- Completeness of ?ukasiewicz-Tarski propositional calculiMathematische Annalen, 1950
- Alternative Systems of LogicMonist, 1932