 |
|
Was andere dazu sagen - Rezension schreibenEs wurden keine Rezensionen gefunden. Ähnliche Bücher
Inhalt
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen2-category abstract inclusion abstract surjection adjoint arity arrow atoms axiomatizability base institution basic Birkhoff institution Boolean connectives class of models co-cone commutes compact concept Consider Corollary Craig interpolation Craig-Robinson definability defined definition denoted directed co-limits elementary diagrams elementary equivalence elementary extensions entailment system equational equivalence exists filtered products finitary finite first order FOL signature forgetful functor functor Grothendieck category Grothendieck institution homomorphism h Horn sentences implies inclusion system infinitary initial model injective institution comorphism institution morphism institution-independent isomorphism Kripke models lifts logic programming mapping modal model amalgamation model homomorphism model theory natural transformation operation symbols partial algebra phisms preserved proof system Prop Proposition pushout pushout square quantification quasi-representable quasi-variety relation symbol satisfaction condition saturated models semantic semi-exact set of sentences signature extensions signature morphisms specification square of signature sub-institution theorem ultraproducts unique Verweise auf dieses BuchAus anderen Büchern
Aus Google ScholarWhat is a Logic?Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki Elementary Diagrams in InstitutionsRAZVAN DIACONESCU - Journal of Logic and Computation A semantic approach to interpolationAndrei Popescu, Traian Florin Şerbănuţă, Grigore Roşu - 2008 - Theoretical Computer Science Representing Logics and Logic TranslationsFlorian Rabe - 2008 Bibliografische Informationen
|