排序方式: 共有66条查询结果,搜索用时 15 毫秒
11.
12.
We consider arrow logics (i.e., propositional multi-modal logics having three -- a dyadic, a monadic, and a constant -- modal operators) augmented with various kinds of infinite counting modalities, such as 'much more', 'of good quantity', 'many times'. It is shown that the addition of these modal operators to weakly associative arrow logic results in finitely axiomatizable and decidable logics, which fail to have the finite base property. 相似文献
13.
14.
William Craig 《Synthese》2008,164(3):321-332
A common aim of elimination problems for languages of logic is to express the entire content of a set of formulas of the language,
or a certain part of it, in a way that is more elementary or more informative. We want to bring out that as the languages
for logic grew in expressive power and, at the same time, our knowledge of their expressive limitations also grew, elimination
problems in logic underwent some change. For languages other than that for monadic second-order logic, there remain important
open problems. 相似文献
15.
Dimiter Vakarelov 《Studia Logica》2006,84(1):105-127
The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation,–intuitionistic negation and some of its generalizations: minimal negation of Johansson and semi-negation.We discuss also the impact of Rasiowa works on the theory of non-classical negation.A lecture presented at the International Conference Trends in Logic III : A. Mostowski, H. Rasiowa and C. Rauszer in memoriam, Warsaw, Ruciane-Nida September 23-26, 2005. 相似文献
16.
Willem Blok and Modal Logic 总被引:1,自引:0,他引:1
We present our personal view on W.J. Blok's contribution to modal logic. 相似文献
17.
Miklós Ferenczi 《Studia Logica》2007,87(1):1-11
It is known that every α-dimensional quasi polyadic equality algebra (QPEA
α
) can be considered as an α-dimensional cylindric algebra satisfying the merrygo- round properties . The converse of this proposition fails to be true. It is investigated in the paper how to get algebras in QPEA from algebras
in CA. Instead of QPEA the class of the finitary polyadic equality algebras (FPEA) is investigated, this class is definitionally
equivalent to QPEA. It is shown, among others, that from every algebra in a β-dimensional algebra can be obtained in QPEA
β
where , moreover the algebra obtained is representable in a sense.
Presented by Daniele Mundici
Supported by the OTKA grants T0351192, T43242. 相似文献
18.
Diego Vaggione 《Studia Logica》1996,57(2-3):239-241
It is proved that the directly indecomposable algebras in a congruence modular equational class form a first-order class provided that fulfils some two natural assumptions.Research supported by CONICOR and SECYT (UNC).Presented by W. Dziobiak 相似文献
19.
20.