A first order theory of functional parthood
type: Item
instance of: scholarly article
title: A first order theory of functional parthood
zbMATH Open document ID: 1121.03010
author: Pawel Garbacz
published in: Journal of Philosophical Logic
publication date: 2007-04-26T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5146242
zbMATH Keywords: artifact
zbMATH Keywords: mereology
zbMATH Keywords: functional parthood
zbMATH Keywords: theory of design
zbMATH Keywords: states of affairs
MaRDI profile type: Publication
full work available at URL: s10992-006-9037-8
OpenAlex ID: W2033968477
cites work: Function in device representation
cites work: Q4298571
cites work: Significant parts and identity of artifacts
cites work: Worlds of homogeneous artifacts
cites work: EFDEX: A knowledge-based expert system for functional design of engineering systems
DOI: 10.1007/S10992-006-9037-8
Recommended article: A first order logic for partial functions
Recommended article: First order theories for partial models
Recommended article: A notion of functional completeness for first-order structure
Recommended article: A formal theory for reasoning about parthood, connection, and location
Recommended article: Q3358718
Recommended article: Q3680246
Recommended article: An axiomatic theory for partial functions
Recommended article: Mereology and the Sciences
description: scientific article; zbMATH DE number 5146242