Display logic
- 1 November 1982
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 11 (4) , 375-417
- https://doi.org/10.1007/bf00284976
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A consecutive calculus for positive relevant implication with necessityJournal of Philosophical Logic, 1980
- What is Logic?The Journal of Philosophy, 1979
- Relevant analytic tableauxStudia Logica, 1979
- Failures of the interpolation lemma in quantified modal logicThe Journal of Symbolic Logic, 1979
- Intuitive semantics for first-degree entailments and ?coupled trees?Philosophical Studies, 1976
- Classical relevant logics IIStudia Logica, 1974
- Classical relevant logics. IStudia Logica, 1973
- Modalities in Ackermann's “rigorous implication”The Journal of Symbolic Logic, 1959
- New foundations for Lewis modal systemsThe Journal of Symbolic Logic, 1957
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935