Ontology can turn negative results to positive 1 :An overview of recent results

Bulletin of the Section of Logic

Volumn 25, Issue 1, 1996, Pages 29-40

  Németi, István ^a  

^a ALFRÉD RÉNYI INSTITUTE OF MATHEMATICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84896541191     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (34)

1. P. Aczel, Non-Well-Founded Sets, CSLI Lecture Notes No.14 (1988).
2. H. Andreka, Complexity of the equations valid in algebras of relations, Dissertation for D.Sc. (a post-habilitation degree) with Hung. Acad. of Sciences, Budapest (1991).
3. H. Andreka, A. Kurucz, I. Nemeti and I. Sain, Applying algebraic logic; A general methodology, to appear in: Algebraic Logic and the Methodology of Applying it, Proc. Summer School in Budapest (eds.: H. Andreka, I. Nemeti and I. Sain.), 72 pp., A shortened version appeared as Applying Algebraic Logic to Logic, in: Algebraic Methodology and Software Technology (AMAST'93)', (eds: M. Nivat, C. Rattray, T. Rus and G. Scollo), in series Workshops in Computing, Springer-Verlag (1994), pp. 7-28.
4. J. Barwise and J. Etchemendy, The Liar, Oxford University Press (1989).
5. J. Barwise and S. Feferman (eds.), Model Theoretic Logics, Perspectives in Mathematical Logic series, Springer-Verlag (1985).
6. J. van Benthem, A Note on Dynamic Arrow Logic, in: Logic and Information Flow (eds.: J. van Eijck and A. Visser), MIT Press, Cambridge, Mass. (1994), pp. 15-29.
7. B. Bro, Non-finite-axiomatizability results in algebraic logic, Journal of Symbolic Logic 57/3 (1992), pp. 832-843.
8. W. J. Blok and D. L. Pigozzi, Algebraizable logics, Memoirs Amer. Math. Soc. 77/396 (1989), vi+78 p.
9. L. Henkin and J .D. Monk, Cylindric algebras and related structures, Proc. Tarski Symp., Amer. Math. Soc., vol 25 (1974), pp. 105-121.
10. L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras Part II, North-Holland, Amsterdam (1985).
11. J. S. Johnson, Nonfinitizability of classes of representable polyadic algebras, Journal of Symbolic Logic 34 (1969), pp. 344-352.
12. M. Marx, Algebraic relativization and arrow logic, Ph. D. Dissertation, Institute for Logic, Language and Computation, Univ. of Amsterdam (1995).
13. M. Marx, Sz. Mikulas, I. Nemeti and I. Sain, Investigations in Arrow Logic, in: Arrow Logic and Multi-Modal Logics (eds: M. Marx, M. Masuch and L. Polos), CSLI Publications, Stanford (to appear).
14. Sz. Mikulas, I. Sain and A. Simon, Complexity of equational theory of relation algebras with projection elements, Bulletin of the Section of Logic 21/3 (1992), pp.103-111. Full paper is 26].
15. J. D. Monk, On an algebra of sets of finite sequences, Journal of Symbolic Logic 35 (1970), pp. 19-28.
16. I. Nemeti, Free algebras and decidability in algebraic logic, Dissertation for D.Sc. (a post-habilitation degree) with Hung. Academy of Sciences, Budapest (1986). In Hungarian.
17. I. Nemeti, Algebraization of quantifier logics, an introductory overview, Studia Logica vol 50, No 3/4 (a special issue devoted to Algebraic Logic, eds.: W. J. Blok and D. L. Pigozzi) (1991), pp. 485-570. (Strongly updated and expanded e.g. with proofs version is available from author.)
18. I. Nemeti, Strong representability of fork algebras, a set theoretic foundation, Journal of the IGPL (to appear).
19. I. Nemeti and A. Simon, Weakly higher order cylindric algebras and finite schema axiomatization of the representables, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest (1995).
20. I. Sain, On the search for a finitizable (w.r.t. the representables) algebraization of first order logic, parts I-II, Preprint No.53/1987, Math. Inst. Hungar. Acad. Sci., Budapest (1987), 58 pp.
21. I. Sain, Positive results related to the Jonsson, Tarski-Givant representation problem, Expanded version of Preprint Math. Inst. Hungar. Acad. Sci., Budapest (October 1987).
22. I. Sain, On the search for a finitizable algebraization of first order logic (Shortened version A), Preprint, Math. Inst. Hungar. Acad. Sci., Budapest (1988), 78 pp.
23. I. Sain, On the problem of finitizing first order logic and its algebraic counterpart. (A survey of results and methods.), in Logic Colloquium 1992 (eds: L. Csirmaz, D. M. Gabbay and M. de Rijke), CSLI Publications, Stanford (1995).
24. I. Sain and V. Gyuris, Finite schematizable algebraic logic, Journal of the IGPL (to appear).
25. I. Sain and I. Nemeti, Fork algebras in usual and in non-wellfounded set theories (an overview), Studia Logica Library (a special volume dedicated to the memory of Helena Rasiowa) (to appear). Extended abstract appeared in Bulletin of the Section of Logic 24/3-4 (1995), pp. 158-168, pp. 182-192.
26. I. Sain and A. Simon, The complexity of equational theory of relation algebras with projection elements, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest (1993).
27. A. Simon, What the finitization problem is not, In Algebraic Methods in Logic and in Computer Science, Proc. Banach Semester Fall 1991 (ed.: C.Rauscher), Inst. of Math., Polish Acad. Sci., Banach Center Publications vol 28 (1993), pp. 95-116.
28. Improved version is available from author; Preprint, Math. Inst. Hungar. Acad. Sci., Budapest (1995).]
29. A. Simon, A purely algebraic proof of representability of quasiprojective relation algebras (QRA's), Preprint, Math. Inst. Hungar. Acad. Sci., Budapest (1995).
30. A. Tarski and S. Givant, A Formalization of Set Theory without Variables, AMS Colloquium Publications vol 41 (1988).
31. Y. Venema, Many-Dimensional Modal Logic, Ph.D. Dissertation, Institute for Logic, Language and Computation, Univ. of Amsterdam (1992).
32. Y. Venema, A modal logic of quantification and substitution, Bulletin of the IGPL 2/1 (1994), pp. 31-46.
33. Y. Venema, Cylindric modal logic, Journal of Symbolic Logic 60/20 (1995), pp. 591-623.
34. Y. Venema, A crash course in arrow logic, in: Arrow Logic and Multi-Modal Logics (eds: M. Marx, M. Masuch and L. Polos), CSLI Publications, Stanford (to appear).