Simple consequence relations

This publication has 13 references indexed in Scilit:

• Natural 3-valued logics—characterization and proof theory
  The Journal of Symbolic Logic, 1991
• Gentzenizing Schroeder-Heister's natural extension of natural deduction.
  Notre Dame Journal of Formal Logic, 1989
• The semantics and proof theory of linear logic
  Theoretical Computer Science, 1988
• A constructive analysis of RM
  The Journal of Symbolic Logic, 1987
• Linear logic
  Theoretical Computer Science, 1987
• On an implication connective of ${\rm RM}$.
  Notre Dame Journal of Formal Logic, 1986
• Sequent-systems for modal logic
  The Journal of Symbolic Logic, 1985
• A natural extension of natural deduction
  The Journal of Symbolic Logic, 1984
• Relevant entailment—semantics and formal systems
  The Journal of Symbolic Logic, 1984
• What is Logic?
  The Journal of Philosophy, 1979