Back to Search
Start Over
Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic.
- Source :
- Logic, Language & Computation; 2007, p247-259, 13p
- Publication Year :
- 2007
-
Abstract
- Two criteria of decidability for axiomatic systems based on J.Lukasiewicz's three-valued logic are established. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540751434
- Database :
- Complementary Index
- Journal :
- Logic, Language & Computation
- Publication Type :
- Book
- Accession number :
- 33169983
- Full Text :
- https://doi.org/10.1007/978-3-540-75144-1_18