Login / Signup

Intuitionistic Logic is a Connexive Logic.

Davide FazioAntonio LeddaFrancesco Paoli
Published in: Stud Logica (2024)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • proof theoretic
  • normal form
  • logic programming
  • model checker
  • cut elimination
  • description logics
  • horn clauses