Computational aspects of three-valued logic
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 190-198
- https://doi.org/10.1007/3-540-16780-3_90
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Many-valued LogicPublished by Springer Nature ,1986
- Partial LogicPublished by Springer Nature ,1986
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und FunktionenArchive for Mathematical Logic, 1969