Grothendieck Inclusion Systems

Cached

Download Links

by Răzvan Diaconescu
Venue:APPLIED CATEGORICAL STRUCTURES
Citations:1 - 1 self

Documents Related by Co-Citation

8 and Tinko Tinchev. An essay in combinatory dynamic logic – Solomon Passy - 1991
3 13 questions about universal logic – Jean-Yves Béziau
18 Elementary diagrams in institutions – Răzvan Diaconescu
48 Bits and pieces of the theory of institutions – Andrzej Tarlecki
23 Emil Căzănescu and Grigore Ros¸u. Weak inclusion systems – Virgil - 1997
42 Models and equality for logical programming – Joseph Goguen, José Meseguer - 1987
7 Natural deduction for first-order hybrid logic – Torben Braüner - 2005
18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
8 Axiomatizability in Inclusive Equational Logic – Grigore Rosu - 1996
4 Initial algebraic semantics for non-context-free languages – H Kaphengst, Horst Reichel - 1977
2 Aiguier and Răzvan Diaconescu. Stratified institutions and elementary homomorphisms – Marc
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
2 Hybrid Logic and its Proof-Theory, volume 37 of Applied Logic Series – Torben Braüner - 2011
2 Reasoning about complex requirements in a uniform setting – Manuel Martins, Alexandre Madeira, Luis Barbosa
41 Institution-independent Model Theory – R Diaconescu - 2008
8 An institution-independent proof of the Beth definability theorem – M Aiguier, F Barbier
140 Handbook of Categorical Algebra – F Borceux - 1994
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993