Modal translations in substructural logics
- 1 August 1992
- journal article
- research article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 21 (3) , 283-336
- https://doi.org/10.1007/bf00260931
Abstract
No abstract availableThis publication has 36 references indexed in Scilit:
- Failure of interpolation in relevant logicsJournal of Philosophical Logic, 1993
- Some Syntactical Observations on Linear LogicJournal of Logic and Computation, 1991
- Survey of generalizations of Urquhart semantics.Notre Dame Journal of Formal Logic, 1987
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- Sequent-systems for modal logicThe Journal of Symbolic Logic, 1985
- The undecidability of entailment and relevant implicationThe Journal of Symbolic Logic, 1984
- What is strict implication?The Journal of Symbolic Logic, 1963
- The elimination theorem when modality is presentThe Journal of Symbolic Logic, 1952
- A system of formal logic without an analogue to the curry W operatorThe Journal of Symbolic Logic, 1936
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935