Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

Journal of Symbolic Logic 77 (3):828-852 (2012)
Abstract
By operations on models we show how to relate completeness with respect to permissivenominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal models, so the construction hinges on generating from an instance of the latter, some instance of the former in which sufficiently many inequalities are preserved between elements. We do this using an infinite generalisation of nominal atoms-abstraction. The results are of interest in their own right, but also, we factor the mathematics so as to maximise the chances that it could be used off-the-shelf for other nominal reasoning systems too. Models with infinite support can be easier to work with, so it is useful to have a semi-automatic theorem to transfer results from classes of infinitely-supported nominal models to the more restricted class of models with finite support. In conclusion, we consider different permissive-nominal syntaxes and nominal models and discuss how they relate to the results proved here
Keywords permissive-nominal techniques   infinite support   finite support, nominal algebra, permissive-nominal logic, completeness   infinite atoms-abstraction
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,399
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
Sobhi Rayan (2009). Nominal Definition in the Writings of Ibn Taymiyya. International Studies in the Philosophy of Science 23 (2):123 – 141.
Yde Venema (1998). Rectangular Games. Journal of Symbolic Logic 63 (4):1549-1564.
Analytics

Monthly downloads

Added to index

2012-11-06

Total downloads

5 ( #229,963 of 1,102,949 )

Recent downloads (6 months)

5 ( #62,013 of 1,102,949 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.