Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.

Norihiro Kamide Yaroslav Shramko Heinrich Wansing

Published in: Stud Logica (2017)

Keyphrases

modal logic
classical logic
linear logic
inference rules
natural deduction
cut elimination
sequent calculus
temporal logic
logical framework
desirable properties
logic programming
business intelligence
epistemic logic
theorem prover
model checking
default logic
truth values
proof search
databases