Investigation into certain implication-negation fragments of propositional logic.
In this paper, we study the completeness property of some implication-negation fragments of propositional logics. By the phrase implication-negation fragment of a propositional logic, we understand the system consisting of all the theses which have implication and/or negation as their sole connectiv...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1963
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=115068 |