Assertoric Semantics and the Computational Power of Self-Referential Truth.
Stefan WinteinPublished in: J. Philos. Log. (2012)
Keyphrases
- computational power
- parallel processing
- computing power
- valued logic
- formal semantics
- hardware architectures
- logic programming
- memory requirements
- low complexity
- communication technologies
- genetic algorithm
- database
- multithreading
- databases
- belief revision
- semantic information
- propositional logic
- computational intelligence
- object oriented
- artificial intelligence