On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.
Alfred TarskiPublished in: J. Symb. Log. (1939)
Keyphrases
- truth values
- distributed systems
- building blocks
- digital circuits
- web services
- case study
- expert systems
- asynchronous circuits
- computer systems
- data mining
- complex systems
- learning systems
- propositional variables
- set theory
- classical logic
- finite state machines
- expressive power
- software engineering
- information retrieval