An Algebraic Theory of Structured Objects

Notre Dame Journal of Formal Logic 38 (1):65-80 (1997)
  Copy   BIBTEX

Abstract

We present an algebraic theory of structured objects based on and generalizing Aczel's theory of form systems. Notions of identity of structured objects and of transformations of systems of such objects are discussed. A generalization of Aczel's representation theorem is proven

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039700697

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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

A general argument against structured propositions.Peter Pagin - 2019 - Synthese 196 (4):1501-1528.
Worlds of Homogeneous Artifacts.Athanassios Tzouvaras - 1995 - Notre Dame Journal of Formal Logic 36 (3):454-474.
Set Theory with Indeterminacy of Identity.Peter Woodruff & Terence Parsons - 1999 - Notre Dame Journal of Formal Logic 40 (4):473-495.
Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
Two Formal Interpretations of Bolzano’s Theory of Substances and Adherences.Kordula Świętorzecka - 2019 - Axiomathes 29 (3):265-284.
Theory of objects and set theory: introduction and semantics.André Chauvin - 1979 - Notre Dame Journal of Formal Logic 20 (1):37-54.
A note on Newman's algebraic systems.Bołeslaw Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):129-133.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
Objects, please remain composed.Robert L. Goldstone - 1998 - Behavioral and Brain Sciences 21 (4):472-473.
Generalized quantification as substructural logic.Natasha Alechina & Michiel van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006-1044.

Analytics

Added to PP
2010-08-24

Downloads
49 (#449,543)

6 months
18 (#164,460)

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

Significant parts and identity of artifacts.Athanassios Tzouvaras - 1993 - Notre Dame Journal of Formal Logic 34 (3):445-452.

Add more references