Login / Signup
Sequent-Type Proof Systems for Three-Valued Default Logic.
Sopo Pkhakadze
Published in:
CoRR (2019)
Keyphrases
</>
default logic
nonmonotonic logics
modal logic
default reasoning
default theories
logic programming
inference rules
nonmonotonic reasoning
valued semantics
higher order
conditional independence
truth maintenance systems