排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
Alessandro Avellone Camillo Fiorentini Paolo Mantovani Pierangelo Miglioli 《Studia Logica》1996,57(2-3):373-408
We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.Presented by H. Ono 相似文献
2.
3.
4.
5.
By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity
and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order
to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are
not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D1 is not strongly w-complete.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
6.
1