Journal of Applied Non-Classical Logics 18 (2-3):137-152 (2008)

Abstract
In this paper, we study indiscernibility relations and complementarity relations in hyper arrow structures. A first-order characterization of indiscernibility and complementarity is obtained through a duality result between hyper arrow structures and certain structures of relational type characterized by first-order conditions. A modal analysis of indiscernibility and complementarity is performed through a modal logic which modalities correspond to indiscernibility relations and complementarity relations in hyper arrow structures.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/JANCL.18.137-152
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,682
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

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Logic of Nondeterministic Information.Ewa Orłowska - 1985 - Studia Logica 44 (1):91 - 100.
Many-Dimensional Arrow Logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Hyper MV -Ideals in Hyper MV -Algebras.Lida Torkzadeh & Afsaneh Ahadpanah - 2010 - Mathematical Logic Quarterly 56 (1):51-62.
Arrow Update Logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
Dynamic Extensions of Arrow Logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
Logics of Complementarity in Information Systems.Ivo Düntsch & Ewa Orłowska - 2000 - Mathematical Logic Quarterly 46 (2):267-288.
Identity and Indiscernibility.Jeffrey Ketland - 2011 - Review of Symbolic Logic 4 (2):171-185.
Arrow's Proof and the Logic of Preference.Frederic Schick - 1969 - Philosophy of Science 36 (2):127-144.
Arrow Logic and Infinite Counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.

Analytics

Added to PP index
2013-12-29

Total views
12 ( #729,899 of 2,349,382 )

Recent downloads (6 months)
1 ( #510,581 of 2,349,382 )

How can I increase my downloads?

Downloads

My notes