Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.
| Autor: | Bertolotti, Guido1, Miglioli, Pierangelo1, Silvestrini, Daniela2 |
|---|---|
| Zdroj: | Mathematical Logic Quarterly. 1996, Vol. 42 Issue 1, p501-536. 36p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|