Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p.

Published in: J. Symb. Log. (1993)

Keyphrases

truth values
logic programming
automated reasoning
information retrieval
classical logic
databases
asynchronous circuits
multi valued
test collection
real time
inference rules
computational properties
dynamic logic
relative importance
defeasible logic
web search
proof theory
sound and complete axiomatization