Graduate studies at Western
Studia Logica 72 (3):411-432 (2002)
|Abstract||Features are unary operators used to build record-like expressions. The resulting term algebras are encountered in linguistic computation and knowledge representation. We present a general description of feature logic and of a slightly restricted version, called record logic. It is shown that every first-order theory can be faithfully interpreted in a record logic with various additional axioms. This fact is used elsewhere  to extend a result of Tarski and Givant  on expressing first order theories in relation algebra.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jeremy Avigad (2000). Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic 65 (4):1785-1812.
Otávio Bueno (2010). A Defense of Second-Order Logic. Axiomathes 20 (2-3):365-383.
Yuri Gurevich & Saharon Shelah (1983). Interpreting Second-Order Logic in the Monadic Theory of Order. Journal of Symbolic Logic 48 (3):816-828.
Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic 1 (2):146-166.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2):173-198.
Marcel van De Vel (2002). Interpreting First-Order Theories Into a Logic of Records. Studia Logica 72 (3):411 - 432.
Added to index2009-01-28
Total downloads2 ( #246,694 of 739,985 )
Recent downloads (6 months)0
How can I increase my downloads?