Institution Theory

Internet Encyclopedia of Philosophy (2015)
  Copy   BIBTEX

Abstract

Institution Theory Institution theory is a very general mathematical study of formal logical systems—with emphasis on semantics—that is not committed to any particular concrete logical system. This is based upon a mathematical definition for the informal notion of logical system, called institution, which includes both syntax and semantics as well as the relationship between … Continue reading Institution Theory →.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Of “reversal,” on revolutional: Violence and the institution.Petar Bojanic & Vladan Djokic - 2011 - Filozofija I Društvo 22 (2):157-171.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
Violence as the Origin of Institution (Deleuze with Hume and Saint-Just).Petar Bojanic - 2012 - Iride: Filosofia e Discussione Pubblica 25 (1):79-90.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
On the need for social coercion.Michael Huemer - manuscript
Categorical Abstract Algebraic Logic: Equivalential π-Institutions.George Voutsadakis - 2008 - Australasian Journal of Logic 6:1-24.
The Institution-Theoretic Scope of Logic Theorems.Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki - 2014 - Logica Universalis 8 (3-4):393-406.
Categorical abstract algebraic logic: The largest theory system included in a theory family.George Voutsadakis - 2006 - Mathematical Logic Quarterly 52 (3):288-294.
An institution-independent proof of Craig interpolation theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59 - 79.
Categorical abstract algebraic logic: Equivalent institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.
T. H. Green On Property And Moral Responsibility.David Crossley - 2003 - History of Philosophy & Logical Analysis 6.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic \-Institution.George Voultsadakis - 2006 - Reports on Mathematical Logic.
Institution and Subjectivity. Dynamics of Satisfaction.Ubaldo Fadini - 2012 - Iride: Filosofia e Discussione Pubblica 25 (1):91-102.
Contract and promise.Liam Murphy - manuscript

Analytics

Added to PP
2015-11-02

Downloads
16 (#901,783)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references