Intuitionistic implication without disjunction
| Authors |
|
|---|---|
| Publication date | 2010 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 22 | 3 |
| Pages (from-to) | 375-404 |
| Organisations |
|
| 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
(Final published version)
|
| Permalink to this page | |