A fundamental completeness theorem for bivalent free logics.
Saved in:
| Title: | A fundamental completeness theorem for bivalent free logics. |
|---|---|
| Authors: | Kupffer, Manfred1 |
| Source: | Logic Journal of the IGPL; Jun2026, Vol. 34 Issue 3, p1-20, 20p |
| Database: | Applied Science & Technology Source |
| ISSN: | 13670751 |
|---|---|
| DOI: | 10.1093/jigpal/jzaf055 |