Calculizing Classical Inferential erotetic Logic.

Published in: Rev. Symb. Log. (2021)

Keyphrases

logic programming
modal logic
multi valued
probability theory
quantum computation
information systems
case study
multiscale
logic programs
defeasible logic
epistemic logic
sound and complete axiomatization