Interpreting first-order theories into a logic of records

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 [15] to extend a result of Tarski and Givant [14] on expressing first order theories in relation algebra.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1021849625062
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,827
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Theories with the Independence Property.Mlj van de Vel - 2010 - Studia Logica 95 (3):379-405.
Theories with the Independence Property.M. Van de Vel - 2010 - Studia Logica 95 (3):379 - 405.

Add more citations

Similar books and articles
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
Interpreting Classical Theories in Constructive Ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Added to PP index
2009-01-28

Total downloads
11 ( #437,957 of 2,210,890 )

Recent downloads (6 months)
1 ( #380,790 of 2,210,890 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature