No non-trivial quasivariety of BCK-algebras has decidable first order theory.

Marek Palasinski

Published in: Stud Logica (1987)

Keyphrases

first order logic
distributive lattices
action theories
higher order
data sets
theoretical framework
theory revision
general theory
query language
computational model
belief functions
theoretical basis
horn clauses
mathematical theory
quantifier free