Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.

Tim S. Lyon Ian Shillito Alwen Tiu

Published in: CoRR (2024)

Keyphrases

linear logic
proof theoretic
intuitionistic logic
cut elimination
sequent calculus
fixed point
desirable properties
inference rules
first order logic
logic programming
logical framework
proof search
natural deduction
influence diagrams
probabilistic reasoning
wide class
expert systems