Bilateralism in Proof-Theoretic Semantics.

Published in: J. Philos. Log. (2014)

Keyphrases

proof theoretic
proof theory
model theoretic
default reasoning
linear logic
nonmonotonic reasoning
constraint logic programming
fixpoint
operational semantics
deductive databases
logic programs
description logics
cut elimination
artificial intelligence
belief revision
decision procedures
constraint programming