A first order theory of functional parthood

DOI10.1007/S10992-006-9037-8zbMATH Open1121.03010OpenAlexW2033968477MaRDI QIDQ878233FDOQ878233

Authors: Pawel Garbacz 

Publication date: 26 April 2007

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-006-9037-8

Recommendations

• A first order logic for partial functions
• First order theories for partial models
• A notion of functional completeness for first-order structure
• A first order logic for partial functions (extended abstract)
• A formal theory for reasoning about parthood, connection, and location
• scientific article; zbMATH DE number 4210120
• scientific article; zbMATH DE number 3902002
• An axiomatic theory for partial functions
• Appendix: Formal theories of parthood

zbMATH Keywords

mereologyartifactstates of affairsfunctional parthoodtheory of design

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Title not available (Why is that?)
• Significant parts and identity of artifacts
• Function in device representation
• Worlds of homogeneous artifacts
• EFDEX: A knowledge-based expert system for functional design of engineering systems

Cited In (4)

• Abstract Design Theory
• Models for hylomorphism
• Two arguments for the etiological theory over the modal theory of biological function
• First order theories for partial models

This page was built for publication: A first order theory of functional parthood

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878233)