Simple consequence relations
- 1 May 1991
- journal article
- research article
- Published by Elsevier in Information and Computation
- Vol. 92 (1) , 105-139
- https://doi.org/10.1016/0890-5401(91)90023-u
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Natural 3-valued logics—characterization and proof theoryThe Journal of Symbolic Logic, 1991
- Gentzenizing Schroeder-Heister's natural extension of natural deduction.Notre Dame Journal of Formal Logic, 1989
- A constructive analysis of RMThe Journal of Symbolic Logic, 1987
- On an implication connective of ${\rm RM}$.Notre Dame Journal of Formal Logic, 1986
- Sequent-systems for modal logicThe Journal of Symbolic Logic, 1985
- A natural extension of natural deductionThe Journal of Symbolic Logic, 1984
- Relevant entailment—semantics and formal systemsThe Journal of Symbolic Logic, 1984
- Annual Meeting of the Association for Symbolic Logic, Philadelphia 1981The Journal of Symbolic Logic, 1983
- What is Logic?The Journal of Philosophy, 1979
- Rules and Derived RulesPublished by Springer Nature ,1974