Login / Signup
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.
Norihiro Kamide
Published in:
Logica Universalis (2022)
Keyphrases
</>
knowledge representation
logic programming
deductive databases
expert systems
nonmonotonic reasoning
artificial intelligence
horn clauses
probabilistic reasoning
reasoning tasks
truth values
logic programs
default reasoning
sequent calculi
graphical models
proof theory
derivation rules