Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Capturing k-ary Existential Second Order...

Rönnholm, Raine...

Free

Share this content

Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic by Rönnholm, Raine ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	07-09-2023
Summary	In this paper we analyze k-ary inclusion-exclusion logic, INEX[k], which is obtained by extending first order logic with k-ary inclusion and exclusion atoms. We show that every formula of INEX[k] can be expressed with a formula of k-ary existential second order logic, ESO[k]. Conversely, every formula of ESO[k] with at most k-ary free relation variables can be expressed with a formula of INEX[k]. From this it follows that, on the level of sentences, INEX[k] captures the expressive power of ESO[k]. We also introduce several useful operators that can be expressed in INEX[k]. In particular, we define inclusion and exclusion quantifiers and so-called term value preserving disjunction which is essential for the proofs of the main results in this paper. Furthermore, we present a novel method of relativization for team semantics and analyze the duality of inclusion and exclusion atoms.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1502.05632

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Rönnholm, Raine. Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic. Australian National University. September 07, 2023. Accessed November 01, 2024. https://online.provdatabase.com/cite/24450

APA 7th EditionReferences

Rönnholm, Raine. (2023). Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic. Australian National University. https://online.provdatabase.com/cite/24450

Chicago 17th EditionReferences

Rönnholm, Raine. Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic. Australian National University. 2023. https://online.provdatabase.com/cite/24450

HarvardReferences

Rönnholm, Raine. (2023). Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/24450. (Accessed 01 November 2024).

Harvard AustraliaReferences

Rönnholm, Raine, 2023, Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic, Australian National University, viewed 01 November 2024, <https://online.provdatabase.com/cite/24450>

MLA 9th EditionWorks Cited

Rönnholm, Raine. Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/24450.

Share this eBook