標題: Titlebook: Larisa Maksimova on Implication, Interpolation, and Definability; Sergei Odintsov Book 2018 Springer International Publishing AG 2018 Lari [打印本頁] 作者: Flange 時間: 2025-3-21 18:22
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability影響因子(影響力)
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability影響因子(影響力)學科排名
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability網(wǎng)絡公開度
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability網(wǎng)絡公開度學科排名
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability被引頻次
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability被引頻次學科排名
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability年度引用
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability年度引用學科排名
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability讀者反饋
書目名稱Larisa Maksimova on Implication, Interpolation, and Definability讀者反饋學科排名
作者: 起草 時間: 2025-3-21 22:28
Outstanding Contributions to Logichttp://image.papertrans.cn/l/image/581435.jpg作者: ordain 時間: 2025-3-22 01:37
Maksimova, Relevance and the Study of Lattices of Non-classical Logics,We outline the main stages of Maksimova’s investigation and present in details her results published between 1972 and 1979 and concerning the study of pretabularity and interpolation properties in superintuitionisitc logics and in normal extensions of the logic .4.作者: 手術刀 時間: 2025-3-22 07:25 作者: 宣誓書 時間: 2025-3-22 09:47 作者: 神圣不可 時間: 2025-3-22 16:24 作者: 人造 時間: 2025-3-22 20:16
Larisa Maksimova on Implication, Interpolation, and Definability978-3-319-69917-2Series ISSN 2211-2758 Series E-ISSN 2211-2766 作者: incredulity 時間: 2025-3-22 21:43 作者: 喚起 時間: 2025-3-23 01:55
,A Generalization of Maksimova’s Criterion for the Disjunction Property,ipal meets in which disjunction is introduced via principal intersection terms. We also give a necessary condition for semiconstructvity, and show how it can be applied to admissibility of multiple-conclusion rules expressing semiconstructivity.作者: endocardium 時間: 2025-3-23 06:12
Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, . as well as the results on algebraic analogs of these properties for varieties of weakly transitive and .-algebras. In particular, we describe all .-extensions with . and prove that this property is decidable over .. We also establish the decidability of . over .4.作者: 背叛者 時間: 2025-3-23 12:33
Lattice NExt, from the Embedding Theorem Viewpoint, of normal extensions of S4 and of intermediate logics. Grounding on the G?del–McKinsey–Tarski embedding, for any S4-logic, we define the notion of .-decomposition and that of a modal component of the logic. Then, we investigate conditions, when a modal logic has its least modal component.作者: languid 時間: 2025-3-23 16:00
Dummett Logic, Irreflexive Modality and Novikov Completeness,rpreted on every finite chain by the so called .. We show that the resulting logic is conservative over ., determines a . in . w.r.t. P.?Novikov’s approach to the notion of a new logical connective. Moreover, we show that is an explicit example of . of ., i.e. every proper extension of it is not conservative over ..作者: mitten 時間: 2025-3-23 18:29 作者: 異常 時間: 2025-3-24 02:03
,Larisa Maksimova’s Early Contributions to Relevance Logic,ut to methodically study systems of relevance logics, initially, focusing on Ackermann’s . of?“Rigorous Implication,” and then extending her work to Anderson and Belnap’s systems . of Entailment and . of Relevant Implication, and other related logics. Not only did she develop an algebraic semantics 作者: miracle 時間: 2025-3-24 06:09 作者: GUILE 時間: 2025-3-24 07:39
Characteristic Formulas Over Intermediate Logics,varieties of Heyting algebras containing infinite finitely presented subdirectly irreducible algebras. Moreover, we prove that there is a continuum of intermediate logics that can be axiomatized by characteristic formulas of countable algebras, while they are not axiomatizable by standard Yankov (Ja作者: 嚴重傷害 時間: 2025-3-24 12:43
,A Generalization of Maksimova’s Criterion for the Disjunction Property,ipal meets in which disjunction is introduced via principal intersection terms. We also give a necessary condition for semiconstructvity, and show how it can be applied to admissibility of multiple-conclusion rules expressing semiconstructivity.作者: CHOKE 時間: 2025-3-24 15:56
,Rasiowa–Sikorski Sets and Forcing, (.). The central idea, due to Rasiowa and Sikorski and developed in this paper, is constructing first-order models from individual variables. The notion of a?Rasiowa–Sikorski set of formulas of an arbitrary language?. is introduced. Investigations are confined to countable languages. Each Rasiowa–S作者: 喚醒 時間: 2025-3-24 22:03 作者: fodlder 時間: 2025-3-25 00:17 作者: 大火 時間: 2025-3-25 03:33 作者: 孵卵器 時間: 2025-3-25 10:45 作者: 巧辦法 時間: 2025-3-25 14:57 作者: 夾死提手勢 時間: 2025-3-25 17:45
Dummett Logic, Irreflexive Modality and Novikov Completeness,rpreted on every finite chain by the so called .. We show that the resulting logic is conservative over ., determines a . in . w.r.t. P.?Novikov’s approach to the notion of a new logical connective. Moreover, we show that is an explicit example of . of ., i.e. every proper extension of it is not con作者: 商談 時間: 2025-3-25 20:10 作者: ELATE 時間: 2025-3-26 01:30
On Algebraisation of Superintuitionistic Predicate Logics,eth property and the projective Beth property, the Craig interpolation property, the disjunctive and existential properties. We formulate algebraic equivalents which correspond to these properties in the language of varieties of quasicylindric algebras and establish equivalences of the logical prope作者: ELUC 時間: 2025-3-26 05:20 作者: 大都市 時間: 2025-3-26 10:22
2211-2758 the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logic978-3-319-88862-0978-3-319-69917-2Series ISSN 2211-2758 Series E-ISSN 2211-2766 作者: 披肩 時間: 2025-3-26 15:37 作者: Supplement 時間: 2025-3-26 18:18 作者: Nebulous 時間: 2025-3-26 23:40 作者: 持續(xù) 時間: 2025-3-27 02:46 作者: 我要沮喪 時間: 2025-3-27 05:47 作者: induct 時間: 2025-3-27 10:56 作者: 高深莫測 時間: 2025-3-27 16:30 作者: 調(diào)整校對 時間: 2025-3-27 21:42
A Note on Strictly Positive Logics and Word Rewriting Systems, in word rewriting systems. We also make some observations and formulate open questions related to the theory of modal companions of superintuitionistic logics that was initiated by L.L. Maksimova and V.V. Rybakov.作者: acolyte 時間: 2025-3-27 22:20
Book 2018 branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts作者: 吹牛大王 時間: 2025-3-28 04:22
6樓作者: Arthritis 時間: 2025-3-28 08:01
6樓作者: Anticonvulsants 時間: 2025-3-28 11:31
7樓作者: etidronate 時間: 2025-3-28 16:43
7樓作者: CRATE 時間: 2025-3-28 21:00
7樓作者: ETCH 時間: 2025-3-28 23:09
7樓作者: STERN 時間: 2025-3-29 04:04
8樓作者: 驚惶 時間: 2025-3-29 08:05
8樓作者: irreducible 時間: 2025-3-29 14:07
8樓作者: 自作多情 時間: 2025-3-29 16:04
8樓作者: Deceit 時間: 2025-3-29 20:12
9樓作者: 充滿裝飾 時間: 2025-3-30 02:12
9樓作者: magnanimity 時間: 2025-3-30 05:13
9樓作者: 談判 時間: 2025-3-30 10:31
9樓作者: TATE 時間: 2025-3-30 12:28
10樓作者: CHOP 時間: 2025-3-30 19:52
10樓作者: 寬容 時間: 2025-3-30 22:06
10樓作者: inscribe 時間: 2025-3-31 02:20
10樓
