Sign in

Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.

Anuj Kumar MoreMohua Banerjee
Published in: Log. J. IGPL (2023)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • logic programming
  • set theory
  • natural deduction
  • proof theoretic
  • logic programs
  • model checker
  • deductive databases
  • desirable properties
  • fixpoint