31 citations · 101 across the 14 of their papers we have counts for
1 paper · 1 filter
Antti Valmari, Lauri Hella
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula t…