Preview
Unable to display preview. Download preview PDF.
References
K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983
P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Part I, Akademie Verlag, Berlin, 1986
J.Cartmell, Generalised algebraic Theories and Contextual Categories, PhD thesis, Oxford, Short version: Annals Pure Appl. Logic 32, 1986
Th.Coquand, Une Théorie des Constructions, Thèse 3ème Cycle, Paris 1985
Th.Coquand, G.Huet, Constructions, A higher Order Proof System for Mechanizing Mathematics. In. B. Buchberger(ed.) EUROCAL '85 Proceedings, LNCS 203, 1985
M.Coste, Une Approche Logique des Théories Definissable par Limites Projectives Finies, Manuscript 1976
Sheaves and Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979
P.Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972
P.Gabriel, F.Ulmer, Lokal präsentierbare Kategorien, LNiMath 221, 1971
M.Gogolla, Algebraic Specifications with Subsorts and Declarations, FB Nr. 169, Abt.Informatik, Universität Dortmund, 1983, also: Proceedings CAAP'84, Cambridge University Press, 1984
J.A.Goguen, Order Sorted Algebras, UCLA Comp. Sci. Dept., Semantics and Theory of Comp. Rep. 14, 1978
J.A.Goguen, J.Meseguer, Order-Sorted Algebra: Partial and Overloaded Operations, Errors and Inheritance, SRI International, Computer Science Lab, to appear
R.Harper, F.Honsell, G.Plotkin, A Framework for Defining Logics, Proc. LICS87
M.Makkei, G.E.Reyes, First Order Categorical Logic, LNi.Math 611, Springer 1977
V.Manca, A.Salibra, G.Scollo, DELTA: A Deduction System Integrating Equational Logic and Type Assignment, Draft 1988
P.Mosses, Unified Algebras and modules, In POPL'89, ACM, 1989
A.Poigné, Another Look at Parameterization Using Algebraic Specifications with Subsorts, Proc. MFCS, LNCS 176, 1984
A.Poigné, On relating Partiality and Subsorting, Manuscript 1986
A.Poigné, Partial Algebras, Subsorting, and Dependent Types, Proc. 6th Workshop on Abstract Data Types, Gullane 1987, LNCS 332, 1988, Full Version 1989 (Submitted)
D.S.Scott, Identity and Existence in Intutionistic Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979
G.Smolka, Order-Sorted Horn Logic Semantics and Deduction, SEKI-Rep. SR-86-17, Universität Kaiserslautern 1986
G.Smolka, W.Nutt, J.A.Goguen, J.Meseguer, Order-Sorted Equational Computation, To appear in: H.Ait-Kaci, M.Nivat (eds.) Resolution of Equations in Algebraic Structures, Academic Press 1988
G. Smolka, Logic Programming with Polymorphically Order-Sorted Types, In: J. Grabowski, P. Lescanne, W. Wechler, Algebraic and Logic Programming, Akademie Verlag, Berlin 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poigné, A. (1990). Typed horn logic (extended abstract). In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029644
Download citation
DOI: https://doi.org/10.1007/BFb0029644
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52953-8
Online ISBN: 978-3-540-47185-1
eBook Packages: Springer Book Archive