Actuality in Intuitionistic Logic.

Satoru Niki Hitoshi Omori

Published in: AiML (2020)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
database
logic programming
artificial intelligence
logic programs
high level
theorem prover