Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Mathematical Logic and Foundations"'
Autor:
Wu, Biao
The world of mathematics is often considered abstract, with its symbols, concepts, and topics appearing unrelated to physical objects. However, it is important to recognize that the development of mathematics is fundamentally influenced by a basic fa
Externí odkaz:
http://arxiv.org/abs/2306.03766
Autor:
Damnjanovic, Zlatan
Kristiansen and Murwanashyaka recently proved that Robinson arithmetic Q is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpretable in Q by producing a formal interpretation of T in an elementary c
Externí odkaz:
http://arxiv.org/abs/2104.07202
Autor:
Yang, Yingrui
Quantum field theory has successfully generated a number of general conclusions. It seems meaningful to disclose the logical forms of these conclusions. The present paper reports two results. The first result shows the logic of local gauge symmetry a
Externí odkaz:
http://arxiv.org/abs/2004.13582
Autor:
Dosen, Kosta, Adzic, Milos
This is a companion to a paper by the authors entitled "G\"odel on deduction", which examined the links between some philosophical views ascribed to G\"odel and general proof theory. When writing that other paper, the authors were not acquainted with
Externí odkaz:
http://arxiv.org/abs/1604.03078
Autor:
Benzmueller, Christoph
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly emb
Externí odkaz:
http://arxiv.org/abs/1004.5500