On the Provable Contradictions of the Connexive Logics C and C3.

Satoru Niki Heinrich Wansing

Published in: J. Philos. Log. (2023)

Keyphrases

expressive power
modal logic
conditional logic
classical logic
nonmonotonic logics
proof theory
propositional calculus
data structure
higher order
decision procedures
order sorted
decision trees
inference rules
epistemic logic
proof theoretic