Antonio Montalbán, Indecomposable linear orderings and hyperarithmetic analysis. Journal of Mathematical Logic, vol.6 (2006), no. 1, pp. 89-120. - Itay Neeman, The strength of Jullien's indecomposability theorem. Journal of Mathematical Logic, vol. 8 (2008), no. 1, pp. 93-119. - Itay Neeman, Necessary use ofinduction in a reversal. Journal of Symbolic Logic, vol. 76 (2011), no. 2, pp. 561-574.
Henry TowsnerPublished in: Bull. Symb. Log. (2014)
Keyphrases
- special issue
- ai edam
- logic programming
- machine intelligence
- predicate logic
- classical logic
- signal processing
- modal logic
- computer algebra
- intuitionistic logic
- mathematical theory
- multi valued
- expert systems
- set theory
- nonmonotonic logics
- proof theory
- computational properties
- sound and complete axiomatization
- asynchronous circuits
- epistemic logic
- database
- fuzzy sets
- artificial intelligence
- neural network