Structures with many-valued information and their relational proof theory

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2000, Pages 293-301

  Duntsch, Ivo ^a   MacCaull, Wendy ^b   Orlowska, Ewa ^c  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b ST FRANCIS XAVIER UNIVERSITY   (Canada)

^c Institute of Telecommunications   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DATA STRUCTURES; INFORMATION THEORY; THEOREM PROVING;

INFORMATION SYSTEM; RELATIONAL PROOF THEORY;

MANY VALUED LOGICS;

EID: 0033706678     PISSN: 0195623X     EISSN: None     Source Type: Journal    
DOI: 10.1109/ISMVL.2000.848635     Document Type: Article

References (28)

1. N. D. Belnap Modern Uses of Multiple-Valued Logic 8 37 1977 Reidel, Dordrecht A useful four-valued logic
2. W. Buszkowski E. Orlowska Incomplete Information: Rough Set Analysis series Studies in Fuzziness and Soft Computing 13 347 380 1997 Physica Verlag Indiscemibility-based formalization of dependencies in information systems
3. C. C. Chang Algebraic analysis of many-valued logic Transactions of the AMS 88 467 490 1958
4. R. Cignoli Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n-valued propositional calculi Studia Logica 41 3 16 1982
5. B. Dobrowolska-Buffoli Relational knowledge representation: Proof systems and decidability problems 1998 Warsaw
6. I. Düntsch E. Orlowska A proof system for contact relation algebras Journal of Philosophical Logic
7. I. Düntsch E. Orlowska H. Wang An algebraic and logical approach to the approximation of regions Proceedings of the 5th International Seminar on Relational Methods in Computer Science 65 74 Proceedings of the 5th International Seminar on Relational Methods in Computer Science 2000
8. G. Epstein The lattice theory of Post algebras Transactions of the American Mathematical Society 95 300 317 1960
9. M. Frias E. Orlowska A proof system for fork algebras and its applications to reasoning in logics based on intuitionism Logique et Analyse 150-151-152 239 284 1995
10. P. Hajek Metamathematics of Fuzzy Logic Series Trends in Logic 1999 Studia Logica Library, Kluwer
11. L. Iturrioz Symmetric Heyting algebras with operators Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 29 33 70 1983
12. L. Iturrioz E. Orlowska A Kripke-style and relational semantics for logics based on Lukasiewicz algebras International Conference on the Work of Jan Lukasiewicz: Lukasiewicz in Dublin International Conference on the Work of Jan Lukasiewicz: Lukasiewicz in Dublin Dublin 1996-July-7-10
13. B. Konikowska C.. Morgan E. Orlowska Relational semantics for arbitrary finite-valued logics Proceedings of the 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, RelMiCS'98 138 143 Proceedings of the 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, RelMiCS'98 1998
14. B. Konikowska C.. Morgan E. Orlowska A relational formalisation of arbitrary finite-valued logics Logic Journal of the IGPL 6 5 755 774 1998
15. W. Lipski Informational systems with incomplete information Third International Colloquium on Automata, Languages and Programming 120 130 Third International Colloquium on Automata, Languages and Programming 1976
16. J. Lukasiewicz O logice trójwartosciwej Ruch Filozoficzny 5 170 171 1920
17. J. Lukasiewicz Selected Works 87 88 1970 North Holland Amsterdam On three-valued logic
18. W. MacCaull Relational proof theory for linear and other substructural logics Logic Journal of the interest Group of Pure and Applied Logic 5 673 697 1997
19. W. MacCaull Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa 354 382 1998 Physica Verlag Heidelberg Relational tableaux for tree models, language models and information networks
20. W. MacCaull Relational semantics and a relational proof system for full Lambek calculus Journal of Symbolic Logic 63 2 623 637 1998
21. W. MacCaull Proof theory for generalized dependencies Fundamenta Informaticae
22. W. MacCaull B. Spencer ReVAT-Relational Validator via Analytic Tableaux 2000 Faculty of Computer Science, University of New Brunswick
23. E. Orlowska Algebraic Logic. Colloqnia Mathematica Societatis Janos Bolyal 54 443 471 1988 North Holland Amsterdam Relational interpretation of modal logic
24. E. Orlowska Proof Theory of Modal Logics 55 77 1996 Kluwer Relational proof systems for modal logics
25. E. Orlowska Relational Methods in Computer Science 90 105 1997 Springer Wlen New York Relational formalisation of nonclassical logics
26. E. E. Post Introduction to a general theory of elementary propositions Bull. of the American Mathematical Soc. 26 1926
27. E. Post Introduction theory of elementary propositions American Journal of Mathematics 43 163 185 1921