Implicit Partiality of Signature Morphisms in Institution Theory

In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 81-123 (2021)
  Copy   BIBTEX

Abstract

We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its syntactic and semantic effects. This is driven primarily by applications to conceptual blending, but other application domains are possible. The particularity of this extension is a reliance on ordered-enriched categorical structures. This work is dedicated to Hajnal Andréka and István Németi whose early work played an important role in shaping the abstract model theory dream of the author.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-64187-0_4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

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

Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.Judit Madarász & Gergely Székely (eds.) - 2021 - Springer.
In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics.Giambattista Formica & Michèle Friend - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 383-408.
Why Not Categorical Equivalence?James Owen Weatherall - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 427-451.
Algebraic Logic and Knowledge Bases.Elena Aladova, Boris Plotkin & Tatjana Plotkin - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 3-25.
Time Travelling in Emergent Spacetime.Christian Wüthrich - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 453-474.
Freeing Structural Realism from Model Theory.Neil Dewar - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 363-382.
General Relativity as a Collection of Collections of Models.J. B. Manchak - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 409-425.
On the Semilattice of Modal Operators and Decompositions of the Discriminator.Ivo Düntsch, Wojciech Dzik & Ewa Orłowska - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 207-231.
Canonical Relativized Cylindric Set Algebras and Weak Associativity.Roger D. Maddux - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 313-345.
The Significance of Relativistic Computation for the Philosophy of Mathematics.Krzysztof Wójtowicz - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 165-183.

Analytics

Added to PP
2022-03-09

Downloads
2 (#1,450,151)

6 months
1 (#1,912,481)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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