Flange
发表于 2025-3-21 18:22:31
书目名称Larisa Maksimova on Implication, Interpolation, and Definability影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0581435<br><br> <br><br>书目名称Larisa Maksimova on Implication, Interpolation, and Definability读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0581435<br><br> <br><br>
起草
发表于 2025-3-21 22:28:25
Outstanding Contributions to Logichttp://image.papertrans.cn/l/image/581435.jpg
ordain
发表于 2025-3-22 01:37:19
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:12
http://reply.papertrans.cn/59/5815/581435/581435_4.png
宣誓书
发表于 2025-3-22 09:47:15
http://reply.papertrans.cn/59/5815/581435/581435_5.png
神圣不可
发表于 2025-3-22 16:24:32
http://reply.papertrans.cn/59/5815/581435/581435_6.png
人造
发表于 2025-3-22 20:16:50
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:38
http://reply.papertrans.cn/59/5815/581435/581435_8.png
唤起
发表于 2025-3-23 01:55:33
,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:41
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.