Axiom Schemata as Metalevel Axioms: Model Theory
Abstract
Logicians frequently use axiom schemata to encode (poten-tially infinite) sets of sentences with particular syntactic form. In this paper we examine a first-order language in which it is possible to write expressions that both describe sentences and assert the truth of the sentences so described. The effect of adding such expressions to a knowledge base is the same as directly including the set of described sentences.
Cite
Text
Hinrichs and Genesereth. "Axiom Schemata as Metalevel Axioms: Model Theory." AAAI Conference on Artificial Intelligence, 2005.Markdown
[Hinrichs and Genesereth. "Axiom Schemata as Metalevel Axioms: Model Theory." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/hinrichs2005aaai-axiom/)BibTeX
@inproceedings{hinrichs2005aaai-axiom,
title = {{Axiom Schemata as Metalevel Axioms: Model Theory}},
author = {Hinrichs, Timothy L. and Genesereth, Michael R.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2005},
pages = {294-299},
url = {https://mlanthology.org/aaai/2005/hinrichs2005aaai-axiom/}
}