Stable surjection logic
Diagrammes (1989)
- Volume: 22, page 45-57
- ISSN: 0224-3911
Access Full Article
topHow to cite
topMcLarty, Colin. "Stable surjection logic." Diagrammes 22 (1989): 45-57. <http://eudml.org/doc/193029>.
@article{McLarty1989,
author = {McLarty, Colin},
journal = {Diagrammes},
keywords = {extension of Horn clause logic; stable surjection logic; type introduction axioms; Prolog; type introduction clauses},
language = {eng},
pages = {45-57},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Stable surjection logic},
url = {http://eudml.org/doc/193029},
volume = {22},
year = {1989},
}
TY - JOUR
AU - McLarty, Colin
TI - Stable surjection logic
JO - Diagrammes
PY - 1989
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 22
SP - 45
EP - 57
LA - eng
KW - extension of Horn clause logic; stable surjection logic; type introduction axioms; Prolog; type introduction clauses
UR - http://eudml.org/doc/193029
ER -
References
top- [1] Barr, M., and Wells, C., Toposes, Triples and Théories (New York: Springer Verlag, 1985) Zbl0567.18001MR771116
- [2] Coste, M., "Une approche logique des théories définissable par limites projectives finies", Séminaire Bénabou, Université Paris-Nord, 1976.
- [3] Freyd, P.., "Aspects of topoi", Bull. Austral. Math. Soc. 7 ( 1972) pp.1-76 and 467-480. Zbl0252.18001
- [4] Grandy, R., Advanced Logic for Applications (Dordrecht: Reidel, 1977) Zbl0381.03003MR469667
- [5] Johnstone, P., Topos Theory (London: Academic Press, 1977) Zbl0368.18001
- [6] Makkai, M., and Reyes, G., First Order Categorical Logic, SLN 611 (New York: Springer Verlag, 1977) Zbl0357.18002MR505486
- [7] MCLarty, C., "Left Exact Logic", Jour. Pure and Applied Algebra 41 ( 1986) pp. 63-66. Zbl0628.03042MR844464
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.