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. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BF00370841 | Studia Logica |
Keywords | Field | DocType |
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,03B55,03C90 | Predicate transformer semantics,Discrete mathematics,Predicate variable,Non-classical logic,Constructive,Predicate functor logic,Functional predicate,Predicate logic,Predicate (mathematical logic),Mathematics | Journal |
Volume | Issue | Citations |
57 | 2/3 | 2 |
PageRank | References | Authors |
0.41 | 12 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alessandro Avellone | 1 | 63 | 7.66 |
Camillo Fiorentini | 2 | 121 | 21.00 |
Paolo Mantovani | 3 | 106 | 10.58 |
Pierangelo Miglioli | 4 | 227 | 26.86 |