Studia Logica 101 (5):1073-1092 (2013)
|Abstract||In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder R, its rough set-based Nelson algebra can be obtained by applying Sendlewski’s well-known construction. We prove that if the set of all R-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by the quasiorder R forms an effective lattice, that is, an algebraic model of the logic E 0, which is characterised by a modal operator grasping the notion of “to be classically valid”. We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder|
|Keywords||Rough sets Nelson algebras Quasiorders (preorders) Knowledge representation Boolean congruence Glivenko congruence Logics with strong negation|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Piero Pagliani, Intrinsic Co-Heyting Boundaries and Information Incompleteness in Rough Set Analysis.
Piero Pagliani (1997). Information Gaps as Communication Needs: A New Semantic Foundation for Some Non-Classical Logics. [REVIEW] Journal of Logic, Language and Information 6 (1):63-99.
Gianpiero Cattaneo (1997). Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices). Studia Logica 58 (1):47-77.
Peter Milne (2004). Algebras of Intervals and a Logic of Conditional Assertions. Journal of Philosophical Logic 33 (5):497-548.
Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3):227-250.
Andrzej Sendlewski (1990). Nelson Algebras Through Heyting Ones: I. Studia Logica 49 (1):105 - 126.
Andrzej Sendlewski (1995). Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property. Studia Logica 55 (3):377 - 388.
J. Mead & G. C. Nelson (1980). Model Companions and K-Model Completeness for the Complete Theories of Boolean Algebras. Journal of Symbolic Logic 45 (1):47-55.
Mihai Codescu & Daniel Găină (2008). Birkhoff Completeness in Institutions. Logica Universalis 2 (2):277-309.
José Luis Castiglioni, Renato A. Lewin & Marta Sagastume (forthcoming). On a Definition of a Variety of Monadic ℓ-Groups. Studia Logica:1-26.
Roberto Giuntini, Antonio Ledda & Francesco Paoli (2007). Expanding Quasi-MV Algebras by a Quantum Operator. Studia Logica 87 (1):99 - 128.
Urszula Wybraniec-Skardowska (1996). O konceptualizacji wiedzy nieostrej. Filozofia Nauki 3.
Claes Strannegård (1999). Interpretability Over Peano Arithmetic. Journal of Symbolic Logic 64 (4):1407-1425.
Sorry, there are not enough data points to plot this chart.
Added to index2012-10-11
Recent downloads (6 months)0
How can I increase my downloads?