157
click to vote
TABLEAUX
2007
Springer
16 years 3 days ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...