Equational reasoning in non-classical logics

Journal of Applied Non-Classical Logics

Volumn 8, Issue 1-2, 1998, Pages 27-66

  Frias, Marcelo ^a   Orlowska, Ewa ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b POLISH ACADEMY OF SCIENCES   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 30844461981     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1998.10510932     Document Type: Article

References (41)

1. Baum, G.A., Frias, M.F., Haeberer, A.M. and Martinez Lopez, P.E., "From Specifications to Programs: A Fork-algebraic Approach to Bridge the Gap", in Pmceedings of Mathematical Foundations of Computer S'cience (MFCS'96), LNCS 1113, Springer-Verlag, Poland, September Hl96, pp.l80-191.
2. Buszkowski, W. and Orlowska, E., "Relational formalization of dependencies in information systems". In: Orlowska, E. ( ed) Reasomng with Incomplete Information. The Rough Set Appmach. To appear.
3. Chin, L.H.C. and Tarski, A., "Distributive and Modular Laws in the Arithmetic of Relation Algebras", University of Califomia Publications in Mathematics. Eel. University of California, 1951, pp. :341-:384.
4. Demri, S. and Orlowska, E., "Logical analysis of demonic uoncleterministic programs", Theoretical Computer Science, December 1996, to appear
5. Demri, S., Orlowska, E., and Rewitzky, 1., "Towards reasoning about Hoare relations". Annals of Mathematics and Artificwl Intelligence 12 (1994), 265-289.
6. Frias, M.F. and Aguayo, N.G., "Natural Specifications vs. Abstract Specifications. A Relational Approach", Proceedings of S'OFS'EM '94,Milovy, Czech Republic, November 1994, pp. 17-22.
7. Frias, M.F., Aguayo, N.G. and Novak B.,"Development of Graph Algorithms with Fork Algebras", Proceedings of the XIX Latin Amerium Conference on Informatics, Buenos Aires, Argentina, August lDD:~. pp. 529-554.
8. Frias, M.F. and Baum, G.A., "On the Exact Expressiveness and Probability of Fork Algebras", in Abstracts of the Tenth Latin American Symposium on Mathematical Logic, Colombia, 1995.
9. Frias, M.F., Baum, G.A., Haeberer, A.M. and Veloso, P.A.S., " Representation Theorem for Fork Algebras", MCC. 29/9:3, PUC-RJ, August 1993.
10. Frias, M.F., Baum, G.A., Haeberer, A.M. and Veloso, P.A.S .. "Fork Algebras are Representable", Bull. Section of Logic. Polish A eadem y of Sciences (1995) vol. 24/2, pp. 64-75.
11. Frias, M.F. and Gordillo, S.E., "Semantic Optimization of Queries in Deductive Object-Oriented Database", Proceedings of ADBIS '95, Moscow, Russia, June 1995, Springer-Verlag, pp.55-72.
12. Frias, M.F., Haeberer, A.M. and Veloso, P.A.S., "On the Metalogical Properties of Fork Algebras", Abstracts of the Winter Meeting of the ASL, San Francisco, California, January 1995. The Bulletin of Symbolic Logic.
13. Frias, M.F., Haeberer, A.M. and Veloso, P.A.S., "A Finite Axiomatization for Fork Algebras", Journal of the IGPL, to appear. 1996.
14. Frias, M.F., Haeberer, A.M., Veloso, P.A.S. and Baum, G.A .. "Representability of Fork Algebras", in Proceedings of the Logic Colloquium '94, July, 1994, p. 51.
15. Also in Bulletin of Symbolic Logic, vol.l, N.2, June 1995, 234-235.
16. Gries, D., "Equational logic as a tool", LNCS 9:36, Springer-Verlag, 1995, pp. 1-17.
17. Gries, D. and Schneider, F. B., "A Logical Approach to Discrete Math.", Springer-Verlag, 1993.
18. Gymis, V., A Short Proof for Representability of Fork Algebras, Joumal of the IGPL, vol3, N.5, 1995, pp.791-796.
19. Hare, D., "Dynamic Logic", Handbook of Philosophical Logic. Vol. II, D. Reidel Publishing Company, 1984, pp.497-504.
20. Henkin, L., VIonk, D. and Tarski, A., "Cylindric Algebras 1", Studies in Logic and the Foundations of Mathematics, vol.64, North-Holland, 1971.
21. Herment, M. and Orlowska, E., "Handling information logics in graphical proof editor", Computational Intelligence 11, No 2, ( 1 995), 297-322.
22. Jonsson, B. and Tarski, A. "Boolean Algebras with Operators PART II". American Joumal of Mathematics, vol. 74, 1952. 127-162.
23. Kripke, S., "Semantical analysis of modal logic I". Zeit.schrift ft'ir Mathematische Logik tmd Gnmdlagen der Mathematik 9, (1963), 67-96.
24. Kripke, S., "Semantica.l analysis of intuitionistic logic". In: Crossley, J.N. and Dummett,M.A. (eels) Formal Systems and Rrcur.sive Functions. North Holland, 1965.
25. Lyndon, R.C., "The representation of relational algebras", Annals of Mathematics (series 2) 51 (1950), pp.707-729.
26. Maddux, R., "Topics in Relation Algebras", Ph.D. Thesis, (Jniversity of California, Berkeley, 1978.
27. Maddux, R., "Finitary Algebraic Logic", Zeitschr. f. math. Logil.: und Grundlagen d. Math., vol. 35, 1989, 321-332.
28. Nemeti, I., "Representability of Fork Algebras depends on your Ontology", Journal of the IGPL, to appear.
29. Orlowska, E., "Relational interpretation of modal logics". In: Andreka, H., Monk,D. and Nemeti,I. (eels) Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai vol 54, North Holland, 1988, 443-471.
30. Orlowska, E., "Relational proof system for relevant logics" . .Journal of Symbolic Logic 57, (1992), 1425-1440.
31. Orlowska,E., "Relational semantics for non-classical logics: Formulas are relations." In: Wolenski,J. (eel) Philosophical Logic in Poland. I..:luwer, 1994, 167-186.
32. Orlowska, E., "Relational proof systems for modal logics". In: Wansing, H. (ed) Proof Theory of Modal Logics. Kluwer, 1996), 55-77.
33. Sain, I. and Nemeti, 1., "Fork Algebras in Usual as well as in Nonwell- founded Set Theories", preprint of the Mathematical Institute of the Hungarian Academy of Sciences, 1994.
34. also appeared in Relational Methods in Computer Science, Dagstuhl-Seminar-Report 80, Schloss Dagstuhl, C. Brink and G. Schmidt eels., January 1994.
35. Schmidt, G. and Stri::ihlein, T., "Relations and Graphs", EA TCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.
36. Tarski, A., "On the Calculus of Relations". Journal of S'ymboli.c Logic (1941), vol. 6, pp. 73-89.
37. Tarski, A., "Some metalogical results concerning the calculus of relations", Journal of Symbolic Logic, vol. 18, 1953, 188-191.
38. Tarski, A., and Givant, S., "A Formalization of Set Theory without Variables", A.M.S. Coli. Pub. (1987), vol. 41.
39. Veloso, P.A.S. and Haeberer, A.M., "A Finitary Relational Algebra for Classical First-Order Logic", Bull. Section of Logic, Polish Acad. Sciences (1991), vol. 20/2, pp. 52-62.
40. Veloso, P.A.S., Haeberer, A.M., and Frias, M.F., '"Fork Algebras as Algebras of Logic", in Abstracts of the Logic Colloquium '94, .July, 1994, p. 127.
41. Also in Bulletin of Symbolic Logic, June 1995, 265-266.