Axiomatization of Special Relativity in First Order Logic

DOI10.1088/0253-6102/66/1/019zbMath1345.83004OpenAlexW2471180588MaRDI QIDQ2819114

Wan-Ting He, Yi-Chen Luo, Lei Chen, Yongge Ma, Xinyu Zhang

Publication date: 28 September 2016

Published in: Communications in Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1088/0253-6102/66/1/019

zbMATH Keywords

first-order logicspecial relativityaxiomatization

Mathematics Subject Classification ID

Special relativity (83A05) Classical first-order logic (03B10) Other applications of logic (03B80)

Related Items (1)

Investigations of isotropy and homogeneity of spacetime in first-order logic

This page was built for publication: Axiomatization of Special Relativity in First Order Logic