concession
发表于 2025-3-21 19:26:39
书目名称Mathematical Logic影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0626205<br><br> <br><br>书目名称Mathematical Logic读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0626205<br><br> <br><br>
爱管闲事
发表于 2025-3-21 21:17:16
Heyting and Intuitionistic Geometry of geometry. His inaugural address as a “privaat docent” bore the title “The nature of geometry”. Hence it is not all that surprising that Heyting choose the intuitionistic foundations as a topic for his Ph.D.thesis.
grenade
发表于 2025-3-22 02:37:19
Interpretability Logiction 7.2 where a conservation result due to Paris & Wilkie, which is proven by a model-theoretical argument, is formalized in a weak theory. For more discussion of and perspective on the use of interpretability in reductive programs the reader is referred to Feferman.
monochromatic
发表于 2025-3-22 08:35:40
https://doi.org/10.1007/978-1-4613-0609-2Arithmetic; Equivalence; logic; mathematical logic; modal logic; predicate logic; sequent calculus; set the
GULLY
发表于 2025-3-22 12:39:14
http://image.papertrans.cn/m/image/626205.jpg
占卜者
发表于 2025-3-22 14:51:15
On the Early History of Intuitionistic Logic particular we discuss at some length whether Heyting’s papers contain an anticipation of logic with existence predicate. Finally we publish some source material, in particular letters of Bemays, Glivenko and Kolmogorov to Heyting.
文字
发表于 2025-3-22 17:13:27
Provability Logics for Relative Interpretabilityovability logic .. The intended interpretation of a formula A ⊳ B in an (arithmetical) theory T is: T + B is relatively interpretable in T + A. The system has been shown to be sound with respect to such arithmetical interpretations (Švejdar 1983, Montagna 1984, Visser 1986, 1988P).
法官
发表于 2025-3-23 00:47:00
Normalization Theorems for the Intuitionistic Systems with Choice Principlesr systems or systems close to the first order ones in their deductive power. This is not accidental, since in higher order intuitionistic logic with extensionality choice seems to imply excluded third .
Schlemms-Canal
发表于 2025-3-23 04:35:59
http://reply.papertrans.cn/63/6263/626205/626205_9.png
拱墙
发表于 2025-3-23 06:25:20
978-1-4612-7890-0Plenum Press, New York 1990