Login / Signup
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics.
Norihiro Kamide
Published in:
J. Log. Lang. Inf. (2024)
Keyphrases
</>
main contribution
probabilistic model
theoretical framework
inference rules
programming language
expressive power
conceptual framework
horn clauses
logical framework