The Distributivity on Bi-Approximation Semantics

Notre Dame Journal of Formal Logic 57 (3):411-430 (2016)

In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom of choice as well.
Keywords lattice-based logics   relational semantics   canonicity
Categories (categorize this paper)
DOI 10.1215/00294527-3542442
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

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

Add more references

Citations of this work BETA

On Polarity Frames: Applications to Substructural and Lattice-Based Logics.Tomoyuki Suzuki - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 533-552.

Add more citations

Similar books and articles

A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
Distributivity in Chiense and its Implications.Jo-Wang Lin & Fred Landman - 1998 - Natural Language Semantics 6 (2):201-243.
Kripke-Style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Distributivity and Dependency.Yoad Winter - 2000 - Natural Language Semantics 8 (1):27-69.
Kripke Bundle Semantics and C-Set Semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Semantics for Structurally Free Logics LC+.K. Bimbó - 2001 - Logic Journal of the IGPL 9 (4):525-539.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.


Added to PP index

Total views
13 ( #620,106 of 2,270,963 )

Recent downloads (6 months)
1 ( #832,952 of 2,270,963 )

How can I increase my downloads?


My notes

Sign in to use this feature