Axiomatization of Special Relativity in First Order Logic
From MaRDI portal
Publication:2819114
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
Related Items (1)
This page was built for publication: Axiomatization of Special Relativity in First Order Logic