On Elementary Equivalence for Equality-free Logic.

Enrique Casanovas Pilar Dellunde Ramon Jansana

Published in: Notre Dame J. Formal Log. (1996)

Keyphrases

set theory
equivalence relation
logic programming
epistemic logic
real time
automated reasoning
probabilistic logic
classical logic
proof theory
information systems
logic programs
predicate logic
deontic logic
strong equivalence