New axiomatics for relevant logics, I
- 1 January 1974
- journal article
- research article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 3 (1-2) , 53-86
- https://doi.org/10.1007/bf00652071
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Applications of scott's notion of consequence to the study of general binary intensional connectives and entailmentJournal of Philosophical Logic, 1973
- On conserving positive logics.Notre Dame Journal of Formal Logic, 1973
- The Semantics of EntailmentPublished by Elsevier ,1973
- The semantics of entailment ? IIIJournal of Philosophical Logic, 1972
- Computational speed-up by effective operatorsThe Journal of Symbolic Logic, 1972
- Completeness of weak implicationTheoria, 1971
- T. J. Smiley. Entailment and deducibility. Proceedings of the Aristotelian Society, n.s. vol. 59 (1959), pp. 233–254.The Journal of Symbolic Logic, 1965
- The pure calculus of entailmentThe Journal of Symbolic Logic, 1962
- Tautological entailmentsPhilosophical Studies, 1962
- New foundations for Lewis modal systemsThe Journal of Symbolic Logic, 1957