On a General Notion of a Hull

  • Jochen Pfalzgraf
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


In this contribution we give a short presentation of ongoing work in the areas of the general framework and mathematical foundations in MEDLAR II. Our objective is to sketch a brief survey of the problems, the methods and existing results and we conclude with prospects of work in progress. We start with some background information and motivational remarks which form the basis of the subsequent considerations. As mentioned in the following, joint article with K. Stokkermans the logical fiberings (as introduced in Pfalzgraf 1991) provide semantical models for indexed systems of logics and they have (semantical) links to D. Gabbay’s extensive theory of labelled deductive systems (LDS). He sees the logical fiberings as a (general) semantics for LDS and introduced the notion of “fibered semantics.” The LDS form a general framework for the great challenge of “putting logics together” in an integrated system (cf. Gabbay 1990, 1994a, b). This indicates the central interest of fibered structures concerning a general semantics modeling approach. Compare the “sheaf semantics” arising naturally in our subsequent considerations.


Category Theory Universal Property Deductive System Heyting Algebra Transitive Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Gabbay, D. (1990): Labelled deductive systems, Part I. CIS, University of Munich, CIS-Bericht 90-22.Google Scholar
  2. Gabbay, D. (1994a): Labelled deductive systems — a position paper. In: Vaananen, J., Oikkonen, J. (eds.): Logic Colloquium 90. Springer, Berlin Heidelberg New York Tokyo [Slaman, T., et al. (eds.): Lecture notes in logic, vol. 2] (to appear).Google Scholar
  3. Gabbay, D. (1994b): Classical vs non-classical logic. In: Gabbay, D., Hogger, C., Robinson, J. (eds.): Handbook of logic in AI and logic programming, vol. 2. Oxford University Press, Oxford, pp. 359–500.Google Scholar
  4. Goldblatt, R. (1984): Topoi. The categorial analysis of logic. North-Holland, Amsterdam (Studies in logic and the foundations of mathematics, vol. 98).MATHGoogle Scholar
  5. Herrlich, H., Strecker, G. E. (1979): Category theory: an introduction. Heldermann, Berlin.MATHGoogle Scholar
  6. MacLane, S. (1971): Categories for the working mathematician. Springer, Berlin Heidelberg New York Tokyo (Graduate texts in mathematics, vol. 5).Google Scholar
  7. MacLane, S., Moerdijk, I. (1992): Sheaves in geometry and logic. Springer, Berlin Heidelberg New York Tokyo.CrossRefGoogle Scholar
  8. Ohlbach, H.-J. (1994): Synthesizing semantics for extension of propositional logic. Internal report (draft), Max Planck Institut für Informatik, Saarbrücken.Google Scholar
  9. Pfalzgraf, J. (1991): Logical fiberings and polycontextural systems. In: Jorrand, P., Kelemen, J. (eds.): Fundamentals of artificial intelligence research. Springer, Berlin Heidelberg New York Tokyo, pp. 170–184 (Lecture notes in computer science, vol. 535).CrossRefGoogle Scholar
  10. Pierce, B. C. (1991): Basic category theory for computer scientists. MIT Press, Cambridge, MA.Google Scholar
  11. Rasiowa, H. (1974): An algebraic approach to non-classical logics. North-Holland, Amsterdam.MATHGoogle Scholar
  12. Stokkermans, K. (1992): A categorical formulation for critical-pair/completion procedures. In: Rusinowitch, M., Rémy, J.-L. (eds.): Conditional term rewriting systems. Springer, Berlin Heidelberg New York Tokyo, pp. 328–342 (Lecture notes in computer science, vol. 656).Google Scholar

Copyright information

© Springer-Verlag Wien 1995

Authors and Affiliations

  • Jochen Pfalzgraf

There are no affiliations available

Personalised recommendations