Graph-based logic and sketches

Graph-based logic and sketches (2008)

Cached

Download Links

[www.cwru.edu]

Other Repositories/Bibliography

DBLP

by Atish Bagchi , Charles Wells

Citations:

4 - 0 self

BibTeX

@MISC{Bagchi08graph-basedlogic,
    author = {Atish Bagchi and Charles Wells},
    title = {Graph-based logic and sketches},
    year = {2008}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

379	Introduction to Higher Order Categorical Logic - Lambek, Scott - 1986
160	General logics - Meseguer - 1989
108	3-Autonomous Categories - Barr - 1980
63	General theory of natural equivalences - Eilenberg, Lane - 1966
57	Accessible categories: The foundations of categorical model theory - Makkai, Paré - 1989
41	A study in the foundations of programming methodology: Specifications, institutions, charters and parchments - Goguen, Burstall - 1986
38	First order categorical logic - Makkai, Reyes - 1977
36	Doctrines in categorical logic - Kock, Reyes - 1977
20	Toposes, Triples and Theories, volume 278 of Grundlehren der - Barr, Wells - 1985
18	Introduction to the theory of structured categories - Ehresmann - 1996
18	Esquisses et types de structures algébriques - Ehresmann - 1968
18	Generalized Sketches as a Framework for Completeness Theorems (I - Makkai - 1997
12	and José Meseguer. Completeness of many-sorted equational logic - Goguen - 1982
11	Category Theory for Computing Science, third edition, Centre de Recherches Mathématiques - Barr, Wells - 1999
9	The category of sketches as a model for algebraic semantics - Gray - 1989
8	Graph-based logic and sketches I: The general framework. Available by web browser from http://www.cwru.edu/1/class/mans/math/pub/wells - Bagchi, Wells - 1996
8	The formal description of data types using sketches - Wells, Barr - 1988
7	Categorical aspects of data type constructors - Gray - 1987
7	A formalism for the specification of essentially algebraic structures - Power, Wells - 1992
6	Calcul syntaxique des modèles et calcul des formules internes - Guitart, Lair - 1980
6	Trames et sémantiques catégoriques des systèmes de trames - Lair - 1987
4	Theories as categories - Fourman, Vickers - 1986
4	Completions of categories and initial completions. Cahiers de Topologie et Géométrie Différentielle Catégorique - Tholen, Tozzi - 1989
4	A generalization of the concept of sketch - Wells - 1990
3	Graph-based logic and sketches II: Finite product categories and equational logic. Available by gopher from gopher.cwru.edu, path=/class/mans/math/pub - Bagchi, Wells - 1993
3	On the limitations of sketches - Barr, Wells - 1992
3	Toposes, Triples and Theories. available at http://www.cwru.edu/artsci/math/wells/pub/ttt.html - Barr, Wells
3	Esquisses des catégories à limites et des quasi-topologies - Burroni - 1970
3	Catégories discretement structurées - Burroni - 1970
3	Sketches and parametrization - Duval, Sénéchaud - 1994
3	Catégories structurées généralisés. Cahiers de Topologie et Géométrie Différentielle - Ehresmann - 1968
3	Limit monads in categories - Kock - 1967
2	Leçons de théorie des esquisses, partie II - Coppey, Lair - 1988
2	Executable specifications for data-type constructors - Gray - 1990
1	Remarques sur les machines et les structures. Cahiers de Topologie et Géométrie Différentielle Catégorique - Guitart - 1974
1	den Bril. Decompositions et lax-completions. Cahiers de Topologie et Géométrie Différentielle Catégorique - Guitart, Van - 1977
1	Topoi over graphs. Cahiers de Topologie et Géométrie Différentielle - McDonald, Stone - 1984