Rough sets and 3-valued logics

Studia Logica

Volumn 90, Issue 1, 2008, Pages 69-92

  Avron, A ^a   Konikowska, B ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

Non deterministic matrices; Rough sets; Sequent calculi; Three valued logics

Indexed keywords

EID: 55149100862     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-008-9144-3     Document Type: Conference Paper

References (24)

1. A. Avron 1991 'Natural 3-valued Logics-Characterization and Proof Theory' Journal of Symbolic Logic 56 276 294
2. Avron, A., 'Classical Gentzen-type Methods in Propositional Many-Valued Logics', in M. Fitting and E. Orlowska (eds.), Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing 114, Physica Verlag, 2003, pp. 117-155.
3. Avron, A., 'Logical Non-determinism as a Tool for Logical Modularity: An Introduction', in S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, 1, 105-124, College Publications, 2005.
4. A. Avron I. Lev 2005 'Non-deterministic Multiple-valued Structures' Journal of Logic and Computation 15 241 261
5. J.-Y. Béziau 2001 'Sequents and Bivaluations' Logique et Analyse 44 373 394
6. Busch, D.R., 'An expressive three-valued logic with two negations', in J. Komorowski and Z.W. Rás (eds.), Methodologies for Intelligent Systems (Proceedings of ISMIS' 93), LNAI 689:29-38, 1993.
7. Carnielli, W.A. and J. Marcos, 'A Taxonomy of C-systems', in W. A. Carnielli, M. E. Coniglio, and I. L. M. D'ottaviano (eds.), Paraconsistency-the logical way to the sistent, Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, 2002, pp. 1-94.
8. N.C.A. da Costa 1974 'On the theory of sistent formal systems' Notre Dame Journal of Formal Logic 15 497 510
9. da Costa N.C.A., Krause D., Bueno O.(2007). 'Paraconsistent Logics and Paraconsistency: Technical and Philosophical Developments'. In:Jacquette D.(eds). Philosophy of Logic. Amsterdam, North-Holland, pp 791-911
10. I.M.L. D'Ottaviano 1985 'The completeness and compactness of a three-valued firstorder logic' Revista Colombiana de Matematicas XIX 31 42
11. Epstein, R. L. The Semantic Foundations of Logic, vol. 1: Propositional Logics, Kluwer Academic Publishers, 1990.
12. Kleene, S.C. Introduction to metamathematics, D. van Nostrad Co., 1952.
13. B. Konikowska 1993 'Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus' Journal for Applied Non-Classical Logic 3 39 71
14. B. Konikowska 1997 'A logic for reasoning about relative similarity' Studia Logica 58 185 226
15. Jones C.B.: Systematic Software Development Using VDM, Prentice-Hall International. Prentice-Hall International, U.K. (1986)
16. Lin, T.Y., Cercone, N. (eds): Rough sets and Data Mining. Analysis of Imprecise Data. Kluwer, Dordrecht (1997)
17. Łukasiewicz, J., 'On 3-valued Logic', 1920, in S. McCall (ed.), Polish Logic, Oxford University Press, 1967.
18. Øhrn A., Komorowski J., Skowron A., Synak P.(1998). 'The design and implementation of a knowledge discovery toolkit based on rough sets-The ROSETTA system'. In: Polkowski L., Skowron A.(eds). Rough Sets in Knowledge Discovery 1. Methodology and Applications. Physica Verlag, Heidelberg, pp 376-399
19. Ø;hrn A., Komorowski J., Skowron A., Synak P.(1998). 'The ROSETTA software system'. In: Polkowski L., Skowron A.(eds). Rough Sets in Knowledge Discovery 2. Applications, Case Studies and Software Systems. Physica Verlag, Heidelberg, pp 572-576
20. Z. Pawlak 1982 'Rough Sets' Intern. J. Comp. Inform. Sci. 11 341 356
21. Pawlak Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991)
22. Z. Pawlak 1997 'Rough set approach to knowledge-based decision support' European Journal of Operational Research 29 3 1 10
23. Z. Pawlak 1998 'Rough sets theory and its applications to data analysis' Cybernetics and Systems 29 661 688
24. H. Wang 1961 'The calculus of partial predicates and its extension to set theory' Zietschr. math. Logik Grundl. Math. 7 283 288