標(biāo)題: Titlebook: Dick de Jongh on Intuitionistic and Provability Logics; Nick Bezhanishvili,Rosalie Iemhoff,Fan Yang Book 2024 The Editor(s) (if applicable [打印本頁(yè)] 作者: T-cell 時(shí)間: 2025-3-21 17:15
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics影響因子(影響力)
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics被引頻次
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics被引頻次學(xué)科排名
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics年度引用
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics年度引用學(xué)科排名
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics讀者反饋
書(shū)目名稱(chēng)Dick de Jongh on Intuitionistic and Provability Logics讀者反饋學(xué)科排名
作者: Stable-Angina 時(shí)間: 2025-3-21 22:18
The ,-Provability Logic of HA Revisited,variables. Also the .-provability logic of the Heyting Arithmetic ., is characterized by (Ardeshir & Mojtahedi, .) as . (for definition of ., see Sect. .). In this paper, we find some translation ., which embeds . in ., the intuitionistic counterpart of ..作者: 結(jié)束 時(shí)間: 2025-3-22 01:06
An Overview of Verbrugge Semantics, a.k.a. Generalised Veltman Semantics,re endowed with relational semantics à la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 1992, in the research group of de Jongh, the notion of . emerged to obtain certain non-derivability results as was first presented by Verbrugge (.)作者: 漸變 時(shí)間: 2025-3-22 05:54 作者: Thyroxine 時(shí)間: 2025-3-22 12:08 作者: Incorruptible 時(shí)間: 2025-3-22 14:36
Intermediate Logics in the Setting of Team Semantics,diate logics in the team semantics setting. We do this by modifying . with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.作者: Incorruptible 時(shí)間: 2025-3-22 17:17
Well Partial Orders,itting many other important results. Starting with recalling basic facts from De Jongh and Parikh’s fundamental paper on maximal order types we survey some related key results by Diana Schmidt. Then we discuss generalized trees, their embeddability relation and their associated maximal order types. 作者: Prognosis 時(shí)間: 2025-3-22 22:17
Learning to Act and Observe in Partially Observable Domains,hat it can observe and how its actions affect the environment. The agent can learn about this domain from experience gathered by taking actions in the domain and observing their results. We present learning algorithms capable of learning as much as possible (in a well-defined sense) both about what 作者: 污穢 時(shí)間: 2025-3-23 04:38
Axiomatizing Origami Planes,ctions. We isolate the fragments corresponding to natural classes of origami constructions such as Pythagorean, Euclidean, and full origami constructions. The set of origami constructible points for each of the classes of constructions provides the minimal model of the corresponding set of logical a作者: Frequency-Range 時(shí)間: 2025-3-23 07:33
https://doi.org/10.1007/978-3-031-47921-2Mathematical Logic; Intuitionistic Logic; Provability Logic; Theory of Well-partial Orders; Formal Learn作者: reperfusion 時(shí)間: 2025-3-23 10:44 作者: 換話(huà)題 時(shí)間: 2025-3-23 14:59 作者: 減去 時(shí)間: 2025-3-23 19:17
Outstanding Contributions to Logichttp://image.papertrans.cn/e/image/284621.jpg作者: 想象 時(shí)間: 2025-3-23 22:44 作者: 放大 時(shí)間: 2025-3-24 05:24
In this brief note, I discuss some general backgrounds of the well-known Fixed-Point Theorem for Provability Logic, taking my cues from an elegant abstract argument by Dick de Jongh in the 1980s.作者: 不知疲倦 時(shí)間: 2025-3-24 07:40
Hypothetische S?tze und SchlüsseThe unification problem in a modal logic is to determine whether given formulas have instances belonging to this modal logic. In this paper, we survey some known results about the unification types of modal logics.作者: Platelet 時(shí)間: 2025-3-24 13:38
Notes on My Scientific Life,This is the autobiography of Dick de Jongh.作者: 情感 時(shí)間: 2025-3-24 17:30 作者: bronchiole 時(shí)間: 2025-3-24 22:10 作者: ATOPY 時(shí)間: 2025-3-25 01:17
https://doi.org/10.1007/1-4020-3986-7 formulas whose principal connective is the intuitionistic Lewis arrow .. Our main motivation comes from metatheory of constructive arithmetic, but the systems in question allow several natural kinds of semantics. The first of these methods, inspired by de Jongh and Visser, turns out to yield a moda作者: 處理 時(shí)間: 2025-3-25 06:51
Introduction Monographs in Mathematicsvariables. Also the .-provability logic of the Heyting Arithmetic ., is characterized by (Ardeshir & Mojtahedi, .) as . (for definition of ., see Sect. .). In this paper, we find some translation ., which embeds . in ., the intuitionistic counterpart of ..作者: Enliven 時(shí)間: 2025-3-25 11:24
La gerarchia , e l’assioma di fondazionere endowed with relational semantics à la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 1992, in the research group of de Jongh, the notion of . emerged to obtain certain non-derivability results as was first presented by Verbrugge (.)作者: Apraxia 時(shí)間: 2025-3-25 14:59 作者: overshadow 時(shí)間: 2025-3-25 17:00 作者: lavish 時(shí)間: 2025-3-25 20:57
https://doi.org/10.1007/3-540-27629-7diate logics in the team semantics setting. We do this by modifying . with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.作者: micronized 時(shí)間: 2025-3-26 01:55
Zufallsprozesse und Bedarfsprognoseitting many other important results. Starting with recalling basic facts from De Jongh and Parikh’s fundamental paper on maximal order types we survey some related key results by Diana Schmidt. Then we discuss generalized trees, their embeddability relation and their associated maximal order types. 作者: Judicious 時(shí)間: 2025-3-26 05:08 作者: BINGE 時(shí)間: 2025-3-26 09:15 作者: 柳樹(shù)；枯黃 時(shí)間: 2025-3-26 13:02 作者: HEW 時(shí)間: 2025-3-26 19:21
Introduction Monographs in Mathematicsvariables. Also the .-provability logic of the Heyting Arithmetic ., is characterized by (Ardeshir & Mojtahedi, .) as . (for definition of ., see Sect. .). In this paper, we find some translation ., which embeds . in ., the intuitionistic counterpart of ..作者: 傻瓜 時(shí)間: 2025-3-26 22:27
Harald Gleissner,J. Christian Femerlinged on that calculus it is shown that the logic has uniform interpolation. Furthermore, a separate, simple proof of interpolation is provided that also uses the sequent calculus. From the literature it is known that Lax Logic has interpolation, but all known proofs use models rather than proof systems.作者: 嬉耍 時(shí)間: 2025-3-27 01:46
https://doi.org/10.1007/3-540-27629-7diate logics in the team semantics setting. We do this by modifying . with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.作者: recession 時(shí)間: 2025-3-27 06:20
The ,-Provability Logic of HA Revisited,variables. Also the .-provability logic of the Heyting Arithmetic ., is characterized by (Ardeshir & Mojtahedi, .) as . (for definition of ., see Sect. .). In this paper, we find some translation ., which embeds . in ., the intuitionistic counterpart of ..作者: Budget 時(shí)間: 2025-3-27 12:14
Proof Theory for Lax Logic,ed on that calculus it is shown that the logic has uniform interpolation. Furthermore, a separate, simple proof of interpolation is provided that also uses the sequent calculus. From the literature it is known that Lax Logic has interpolation, but all known proofs use models rather than proof systems.作者: urethritis 時(shí)間: 2025-3-27 15:18
Intermediate Logics in the Setting of Team Semantics,diate logics in the team semantics setting. We do this by modifying . with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.作者: hermitage 時(shí)間: 2025-3-27 20:52
2211-2758 h-Sambin fixed point theorem?and of modal, intuitionistic, a.This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts,?this book discusses de Jongh’s?original contributions and consequent dev作者: Chagrin 時(shí)間: 2025-3-28 00:05 作者: Highbrow 時(shí)間: 2025-3-28 05:56 作者: 歡笑 時(shí)間: 2025-3-28 09:11 作者: Bronchial-Tubes 時(shí)間: 2025-3-28 11:07
https://doi.org/10.1007/1-4020-3986-7omparable, we axiomatize their join and investigate several subtheories, whose axioms are obtained as fixed points of simple formulas. We also show that both . and . are ., that is, their validity in the corresponding preservativity logic of a given arithmetical theory transfers to its finite extensions.作者: 支形吊燈 時(shí)間: 2025-3-28 17:24 作者: BRUNT 時(shí)間: 2025-3-28 20:10
Lewisian Fixed Points I: Two Incomparable Constructions,omparable, we axiomatize their join and investigate several subtheories, whose axioms are obtained as fixed points of simple formulas. We also show that both . and . are ., that is, their validity in the corresponding preservativity logic of a given arithmetical theory transfers to its finite extensions.作者: 表示向下 時(shí)間: 2025-3-29 00:04 作者: 制造 時(shí)間: 2025-3-29 06:13 作者: 在駕駛 時(shí)間: 2025-3-29 09:10
Well Partial Orders, some related key results by Diana Schmidt. Then we discuss generalized trees, their embeddability relation and their associated maximal order types. These results can be condensed neatly into the formula .. At the end we cover Friedman style miniaturizations of Kruskal’s theorem and their associated phase transitions.作者: 精美食品 時(shí)間: 2025-3-29 14:07 作者: calorie 時(shí)間: 2025-3-29 17:26 作者: Engaging 時(shí)間: 2025-3-29 22:54
An Overview of Verbrugge Semantics, a.k.a. Generalised Veltman Semantics,ss proofs become simpler and the richer semantics will allow for filtration arguments as opposed to regular Veltman semantics. This paper aims to give an overview of results and applications of Verbrugge semantics up to the current date.作者: glans-penis 時(shí)間: 2025-3-30 02:55
Axiomatizing Origami Planes,ions between these logical theories and theories of fields as described in Makowsky (.). Using a theorem of Ziegler (.) which implies that the first order theory of Vieta fields is undecidable, we conclude that the first order theory of our axiomatization of origami is also undecidable.作者: 江湖郎中 時(shí)間: 2025-3-30 08:06
Dick de Jongh on Intuitionistic and Provability Logics作者: 欲望 時(shí)間: 2025-3-30 11:55
Book 2024eory of well-partial orders, and formal learning theory. The second to last chapter on Origami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete biblio作者: Compass 時(shí)間: 2025-3-30 13:00
2211-2758 gami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete biblio978-3-031-47923-6978-3-031-47921-2Series ISSN 2211-2758 Series E-ISSN 2211-2766
