|
|||||
|
|
On maximal intermediate predicate constructive logics |
|
| Authors: | Alessandro Avellone Camillo Fiorentini Paolo Mantovani Pierangelo Miglioli |
| Affiliation: | (1) Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, via Comelico, 39/41, 20135 Milano, Italy |
| Abstract: | 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 |
| Keywords: | intermediate predicate logic nonstandard intermediate predicate logic predicate constructive logic nonstandard predicate constructive logic maximal predicate constructive logic maximal nonstandard predicate constructive logic smooth predicate constructive logic |
| 本文献已被 SpringerLink 等数据库收录！ | |