Intermediate propositional logics
The main object of the thesis is to investigate a variety of questions relating to the set of intermediate prepositional logics. Let H denote the set of words which are intuitionist theses and let K denote the set of words which are classical theses. Then a set of words X is an intermediate (preposi...
| Main Author: | |
|---|---|
| Published: |
University of Leicester
1969
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.737124 |