On Sahlqvist Formulas in Relevant Logic.

Guillermo Badia

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

Keyphrases

data sets
modal logic
predicate calculus
database
proof theory
logic programming
predicate logic
linear time temporal logic
mathematical formulas
logical formulas
defeasible logic
logical framework
closely related
higher level
relational databases
genetic algorithm
real time