A formal theory of objects, space and time

DOI10.2307/2274955zbMath0711.03001OpenAlexW2032747952MaRDI QIDQ3495339

Wayne D. Blizard

Publication date: 1990

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

Full work available at URL: https://doi.org/10.2307/2274955

zbMATH Keywords

three-sorted theory of objects, space and time

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics, foundations (70A05)

Related Items (3)

Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Manifest domains: analysis and description ⋮ Exploiting lattices in a theory of space and time

This page was built for publication: A formal theory of objects, space and time