Stable surjection logic

Colin McLarty

Diagrammes (1989)

  • Volume: 22, page 45-57
  • ISSN: 0224-3911

How to cite

top

McLarty, 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. [1] Barr, M., and Wells, C., Toposes, Triples and Théories (New York: Springer Verlag, 1985) Zbl0567.18001MR771116
  2. [2] Coste, M., "Une approche logique des théories définissable par limites projectives finies", Séminaire Bénabou, Université Paris-Nord, 1976. 
  3. [3] Freyd, P.., "Aspects of topoi", Bull. Austral. Math. Soc. 7 ( 1972) pp.1-76 and 467-480. Zbl0252.18001
  4. [4] Grandy, R., Advanced Logic for Applications (Dordrecht: Reidel, 1977) Zbl0381.03003MR469667
  5. [5] Johnstone, P., Topos Theory (London: Academic Press, 1977) Zbl0368.18001
  6. [6] Makkai, M., and Reyes, G., First Order Categorical Logic, SLN 611 (New York: Springer Verlag, 1977) Zbl0357.18002MR505486
  7. [7] MCLarty, C., "Left Exact Logic", Jour. Pure and Applied Algebra 41 ( 1986) pp. 63-66. Zbl0628.03042MR844464

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.