On an intuitionistic logic for pragmatics.

Gianluigi Bellin Massimiliano Carrara Daniele Chiffi

Published in: J. Log. Comput. (2018)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
formal semantics
normal form
machine learning
artificial intelligence
expert systems
reasoning problems