| Authors |
|
| Publication date |
2010
|
| Journal |
Journal of Logic and Computation
|
| Volume | Issue number |
22 | 3
|
| Pages (from-to) |
375-404
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We investigate fragments of intuitionistic propositional logic containing implication but not disjunction. These fragments are finite, but their size grows superexponentially with the number of generators. Exact models are used to characterize the fragments.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1093/logcom/exq058
|
|
Permalink to this page
|