Login / Signup

Extendible Formulas in Two Variables in Intuitionistic Logic.

Nick BezhanishviliDick de Jongh
Published in: Stud Logica (2012)
Keyphrases
  • intuitionistic logic
  • linear logic
  • classical logic
  • natural deduction
  • normal form