吞没
发表于 2025-3-26 23:11:39
http://reply.papertrans.cn/43/4206/420514/420514_31.png
考得
发表于 2025-3-27 04:08:54
http://reply.papertrans.cn/43/4206/420514/420514_32.png
Gossamer
发表于 2025-3-27 09:20:51
Modal Logics that Bound the Circumference of Transitive Framesthan . and no strictly ascending chains. The case . is the Gödel-Löb provability logic. Each logic is axiomatised by adding a single axiom to K4, and is shown to have the finite model property and be decidable. We then consider a number of extensions of these logics, including restricting to refl
Inveterate
发表于 2025-3-27 09:32:57
Undecidability of Algebras of Binary Relations(.) be the class of all .-structures isomorphic to concrete algebras of binary relations with concrete interpretations for symbols in ., and let .(.) be the class of .-structures isomorphic to concrete algebras of binary relations over a finite base. To prove that membership of .(.) or .(.) for fini
揉杂
发表于 2025-3-27 17:22:20
http://reply.papertrans.cn/43/4206/420514/420514_35.png
TRUST
发表于 2025-3-27 19:45:44
http://reply.papertrans.cn/43/4206/420514/420514_36.png
紧张过度
发表于 2025-3-28 00:58:22
http://reply.papertrans.cn/43/4206/420514/420514_37.png
清晰
发表于 2025-3-28 04:51:42
Freeing Structural Realism from Model Theoryry used to analyse the structure of logical theories can make it difficult to see how such an idea could be coherent or workable: for in that theory, properties and relations are constructed as sets of (tuples of) individuals. In this paper, I look at three ways in which structuralists might hope fo
锉屑
发表于 2025-3-28 07:17:16
In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics. In particular, it is an analytic art for choosing axioms but, at the same time, it has to include dynamically synthetic procedures and meta-theoretical reflections. Axioms have to be useful, or capture something, or help as part of explanations. The Andréka-Németi group use several formal axiomati
MIRE
发表于 2025-3-28 13:04:46
https://doi.org/10.1057/9780230377929bstract mathematical principles that even exceed standard mathematics and suggests, that such principles might play an explanatory role. I also argue that relativistic computation does not have some of the weaknesses of other hypercomputational models, thus it is particularly attractive for the philosophy of mathematics.