modish
发表于 2025-3-28 18:15:21
Short Autobiography,lovsk. In 1952, I enrolled in the Department of Philosophy of Moscow State University. When I faced the “troubles” related to the ideologization in the humanities fields in the Soviet time, I decided to move to the Department of Mechanics and Mathematics in 1953. In 1956, I was expelled from the Uni
行业
发表于 2025-3-28 19:04:20
Dialogues and Proofs; Yankov’s Contribution to Proof Theoryn of proofs. In both cases the method is used for providing constructive proofs of important metalogical results concerning classical logic and fundamental mathematical theories. In the first paper it is shown that impredicative extensions of intuitionistic versions of arithmetic, analysis and set t
外貌
发表于 2025-3-29 02:34:08
http://reply.papertrans.cn/99/9801/980010/980010_43.png
帽子
发表于 2025-3-29 05:58:17
http://reply.papertrans.cn/99/9801/980010/980010_44.png
Tracheotomy
发表于 2025-3-29 10:36:34
The Invariance Modalitygiven by a classical model endowed with a group of automorphisms, where a boxed formula is true iff it holds invariantly (i.e. it remains true whenever an automorphism is applied to the individuals it is talking about). With this interpretation, . modalities collapse, but . modalities remain quite i
agitate
发表于 2025-3-29 13:52:33
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyondo the lattice of intermediate logics is present as a sublattice in . in many, in fact, in infinitely many places, and this pattern itself is isomorphic to a quotient lattice of .. We also designate three “dark spots” of ., three sublattices of it, where, although we can characterize the logics belon
LIEN
发表于 2025-3-29 18:40:51
http://reply.papertrans.cn/99/9801/980010/980010_47.png
花争吵
发表于 2025-3-29 20:50:31
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Apuitively, PEI’s must resemble intuitionistic logic. We discuss PEI’s from the viewpoint of disjunction property (DP) and existence property (EP). Note that DP and EP are regarded as “hallmarks” of constructivity of intuitionistic logic. There are, however, uncountably many PEI’s having both of DP an
obligation
发表于 2025-3-30 02:33:53
http://reply.papertrans.cn/99/9801/980010/980010_49.png
antenna
发表于 2025-3-30 05:34:21
On V.A. Yankov’s Existential Interpretation of the Early Greek Philosophy. The Case of Heraclitusoblematic in it. Examining his broad research program in the case of Heraclitus, we show that Yankov’s contribution is that he transformed an earlier vague hypothesis about the existential problematic in the early Greek philosophy into a research problem. He challenged the interpretation of the earl