Intuitionistic PUC-Logic for Constructive Counterfactuals.

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira

Published in: CoRR (2014)

Keyphrases

classical logic
linear logic
natural deduction
cut elimination
sequent calculus
logical framework
modal logic
logic programming
multi valued
theorem prover
automated reasoning
fuzzy set theory
formal theory
abductive reasoning
fuzzy information
real time
causal models
belief revision
query language
website