Fork algebras in algebra, logic and computer science

Fundamenta Informaticae

Volumn 32, Issue 1, 1997, Pages 1-25

  Frias, Marcelo F ^a   Baum, Gabriel A ^b   Haeberer, Armando M ^a  

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

^b UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002556087     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1997-32101     Document Type: Article

References (53)

1. Andréka, H. and Németi, I., General algebraic logic: A perspective on 'What is logic', in D. M. Gabbay (Ed.), What is a Logical System?, Vol. 4 of Studies in Logic and Computation, pp. 393-443, Oxford, Clarendon Press, 1994.
2. Andréka, H. and Németi, I., Sain, I., Applying algebraic logic to logic, in Proceedings of AMAST'93, Springer, 1993. Updated version available from ftp.math-inst.hu/pub/algebraic-logic/meth.dvi.ps.
3. Andréka, H. and Sain, I., Connections between algebraic logic and initial algebra semantics of CF languages. In B. Dömölki and T. Gergely (Eds.), Mathematical Logic in Computer Science (Proc. Coll. Salgótarján, 1978), Vol. 26 of Colloq. Math. Soc. J. Bolyai, pp. 25-83. Amsterdam, 1981.
4. Baum, G.A., Frias, M.F., Haeberer, A.M. and Martínez López, P.E., From Specifications to Programs: A Fork-algebraic Approach to Bridge the Gap, in Proceedings of MFCS'96, LNCS 1113, Springer-Verlag, pp. 180-191, 1996.
5. Blok, W., and Pigozzi, D., Algebraizable Logics, Memoirs of the A. M. S., Vol 77, 1989.
6. Brink, C., Kahl, W. and Schmidt, G. (Eds.), Relational Methods in Computer Science, Springer, Wien New York, 1997.
7. Buszkowski, W. and Orlowska, E., Relational formalization of dependencies in information systems. In: Orlowska, E. (ed), Reasoning with Incomplete Information. The Rough Set Approach. To appear.
8. Chin, L. H. and Tarski, A., Distributive and Modular Laws in the Arithmetic of Relation Algebras, in University of California Publications in Mathematics. University of California, pp. 341-384, 1951.
9. De Morgan, A., On the Syllogism, and Other Logical Writings, Yale University Press, 1966.
10. Demri, S. and Orlowska, E., Logical analysis of demonic nondeterministic programs, Theoretical Computer Science, to appear.
11. Demri, S., Orlowska, E. and Rewitzky, I., Towards reasoning about Hoare relations. Annals of Mathematics and Artificial Intelligence Vol. 12, pp. 265-289, 1994.
12. Ebbinghaus H. D., Flum J. and Thomas W., Mathematical Logic (Second Edition), Undergraduate texts in mathematics, Springer-Verlag, 1994.
13. Frias, M. F., Baum, G. A. and Haeberer, A. M., Representability and Program Construction within Fork Algebras, to appear in Journal of the IGPL.
14. Frias, M. F., Baum, G. A., Haeberer, A. M. and Veloso, P. A. S., A Representation Theorem for Fork Algebras, (Technical Report) MCC. 29/93, PUC-RJ, August 1993.
15. Frias, M. F., Baum, G. A., Haeberer, A. M. and Veloso, P. A. S., Fork Algebras are Representable, in Bulletin of the Section of Logic, University of Łódź, Vol. 24, No. 2, pp.64-75, 1995.
16. Frias, M. F., Haeberer, A. M. and Veloso, P. A. S., A Finite Axiomatization for Fork Algebras, Journal of the IGPL, Vol. 5, No. 3, pp. 311-319, 1997.
17. Frias, M. F. and Orlowska E., Equational Reasoning in Non-Classical Logics, Journal of Applied Non Classical Logic, to appear, 1997.
18. Frias, M. F. and Orlowska E., A Proof System for Fork Algebras and its Applications to Reasoning in Logics Based on Intuitionism, Logique et Analyse, to appear, 1997.
19. Gries, D., Equational logic as a tool, LNCS 936, Springer-Verlag, pp. 1-17, 1995.
20. Gries, D. and Schneider, F. B., A Logical Approach to Discrete Math., Springer-Verlag, 1993.
21. Gyuris, V., A Short Proof for Representability of Fork Algebras, Journal of the IGPL, Vol. 3, No. 5, pp.791-796, 1995.
22. Haeberer, A.M., Baum, G.A. and Schmidt G., On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers, in Proceedings of the International Conference on Formal Methods in Programming and Their Applications, LNCS 735, Springer-Verlag, pp. 281-298, 1993.
23. Haeberer, A.M. and Veloso, P.A.S., Partial Relations for Program Derivation: Adequacy, Inevitability and Expressiveness, in Constructing Programs from Specifications - Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications. North Holland., pp. 319-371, 1991.
24. Harel, D., Dynamic Logic, Handbook of Philosophical Logic, Vol. II, D. Reidel Publishing Company, pp.497-604, 1984.
25. Halmos, P., Algebraic Logic, Chelsea, 1962.
26. Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras Part I, Studies in Logic and the Foundations of Mathematics, vol.64, North-Holland, 1971.
27. Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras Part II, Studies in Logic and the Foundations of Mathematics, vol.115, North-Holland, 1985.
28. Herment, M. and Orlowska, E., Handling information logics in a graphical proof editor, Computational Intelligence, Vol. 11, No. 2, pp. 297-322, 1995.
29. Jónsson, B., Andréka, H. and Németi, I., Free Algebras in Discriminator Varieties, Algebra Universalis, Vol. 28, pp. 401-447, 1991.
30. Jónsson, B. and Tarski, A. Boolean Algebras with Operators PART II, American Journal of Mathematics, Vol. 74, pp. 127-162, 1952.
31. Kurucz, Á. and Németi, I., Representability of Pairing Algebras depends on your Ontology, Journal of Symbolic Logic, to appear.
32. Löwenheim, L., Uber Möglichkeiten im Relativkalkul, Mathematische Annalen, Vol. 76, pp. 447-470, 1915.
33. Lyndon, R., The Representation of Relational Algebras, Annals of Mathematics, (Series 2) Vol. 51, pp. 707-729, 1950.
34. Lyndon, R., The Representation of Relational Algebras, II, Annals of Mathematics, (Series 2), Vol. 63, pp. 294-307, 1956.
35. Maddux, R., Topics in Relation Algebras, Ph.D. Thesis, University of California at Berkeley, 1978.
36. McKenzie, R. N. W., The Representation of Integral Relation Algebras, Michigan Mathematical Journal. Vol. 17, pp. 279-287, 1970.
37. Mikulás, S., Sain, I. and Simon, A., Complexity of the Equational Theory of Relational Algebras with Projection Elements. Bulletin of the Section of Logic, University of Lódź, Vol. 21, No. 3, pp. 103-111, 1992.
38. Németi, I., Free Algebras and Decidability in Algebraic Logic, D. Sc. dissertation (in hungarian), Math. Inst. Hungar. Acad. Sci., 1986.
39. Németi, I., Algebraizations of quantifier logics. Studia Logica, Vol. 50, pp. 485-569, 1991. Updated version available from ftp.math-inst.hu/pub/algebraic-logic/ survey.ps.
40. Németi, I., Ontology can turn negative results to positive, Bulletin of the Section of Logic, University of Lódź, Vol. 25, No. 1, pp.29-40, 1996.
41. Németi, I., Strong Representability of Fork Algebras, a Set Theoretic Foundation, Journal of the IGPL, Vol. 5, No. 1, pp. 3-23, 1997.
42. Sain, I. and Németi, I., Fork Algebras in Usual and in Non-well founded Set Theories, Studia Logica library, a special volume dedicated to the memory of Helena Rasiowa, to appear.
43. Orlowska, E., Relational interpretation of modal logics. In: Andreka, H., Monk, D. and Nemeti, I. (eds) Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai vol 54, North Holland, pp. 443-471, 1988.
44. Orlowska, E., Relational proof system for relevant logics. Journal of Symbolic Logic, Vol. 57, pp. 1425-1440, 1992.
45. Orlowska, E., Relational semantics for nonclassical logics: Formulas are relations. In: Wolenski, J. (ed) Philosophical Logic in Poland. Kluwer, pp. 167-186, 1994.
46. Orlowska, E., Relational proof systems for modal logics. In: Wansing, H. (ed) Proof Theory of Modal Logics. Kluwer, pp. 55-77, 1996.
47. Peirce Ch. S., Collected Papers, Harvard University Press, Cambridge, 1933.
48. Rasiowa, H. and Sikorski, R. The Mathematics of Metamathematics. Polish Science Publishers, Warsaw, 1963.
49. Schmidt, G. and Ströhlein, T., Relations and Graphs, EATCS Monographs in Theoretical Computer Science, Springer-Verlag, 1993.
50. Schröder, E. F. W. K., Vorlesungen über die Algebra der Logik (exacte Logik), Volume 3, "Algebra und Logik der Relative", part I, Leipzig, 1895.
51. Tarski, A., On the Calculus of Relations, Journal of Symbolic Logic, Vol. 6, pp. 73-89, 1941.
52. Tarski, A., Some metalogical results concerning the calculus of relations, Journal of Symbolic Logic, Vol. 18, pp. 188-189, 1953.
53. Tarski, A. and Givant, S., A Formalization of Set Theory without Variables, A. M. S. Coll. Pub., Vol. 41, 1987.