Proof-theoretic Semantics for the Logic of Bunched Implications.

Tao Gu Alexander V. Gheorghiu David J. Pym

Published in: CoRR (2023)

Keyphrases

proof theoretic
proof theory
model theoretic
default reasoning
linear logic
nonmonotonic reasoning

intuitionistic logic
constraint logic programming
deductive databases
fixpoint
logic programming

operational semantics
logic programs
description logics
cut elimination
probabilistic reasoning

belief revision
natural deduction
expert systems
knowledge base
artificial intelligence