J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5-6, pp. 571-581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5-6, pp. 541-553.
Athar Abdul-QuaderPublished in: Bull. Symb. Log. (2019)
Keyphrases
- set theory
- modal logic
- ai edam
- computer algebra
- metadata
- logic programming
- default logic
- knowledge representation formalisms
- machine intelligence
- mathematical theory
- classical logic
- artificial intelligence
- special issue
- logical framework
- ieee trans
- predicate logic
- multi valued
- signal processing
- default theories
- database
- probability theory
- asynchronous circuits
- linear logic
- human reasoning
- mathematical models
- school children
- neural network