Intuitionism, Entailment, Negation

This publication has 11 references indexed in Scilit:

• On relevantly derivable disjunctions.
  Notre Dame Journal of Formal Logic, 1972
• III.—AN INTENSIONAL INTERPRETATION OF TRUTH-VALUES
  Mind, 1972
• ${\rm E}$ and ${\rm S}4$.
  Notre Dame Journal of Formal Logic, 1970
• E, R AND γ
  The Journal of Symbolic Logic, 1969
• Intensional models for first degree formulas
  The Journal of Symbolic Logic, 1967
• The pure calculus of entailment
  The Journal of Symbolic Logic, 1962
• A simple treatment of truth functions
  The Journal of Symbolic Logic, 1959
• Modalities in Ackermann's “rigorous implication”
  The Journal of Symbolic Logic, 1959
• Begründung einer strengen Implikation
  The Journal of Symbolic Logic, 1956
• On the interpretation of the sign ‘⊃’
  The Journal of Symbolic Logic, 1953