Login / Signup

Combining First-Order Classical and Intuitionistic Logic.

Masanobu ToyookaKatsuhiko Sano
Published in: NCL (2022)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • bayesian networks
  • software engineering
  • first order logic