On Reduction Semantics for the Push and Pull Ambitent Calculus.

Iain Phillips Maria Grazia Vigliotti

Published in: IFIP TCS (2002)

Keyphrases

algebraic structure
formal language
formal semantics
database query languages
logic programming
reduction method
relational calculus
proof theoretic
semantic information
modal logic
theorem prover
conceptual graphs
model theoretic
argumentation semantics