Sorry, we do not have enough data to show an influence graph for this author.

#### Filter Results:

#### Publication Type

#### Key Phrase

#### Publication Venue

Learn More

We consider superintuitionistic predicate logics understood in the usual way, as sets of predicate formulas (without function symbols) containing all axioms of Heyting predicate logic Q-H and closed under modus ponens, generalization, and substitution of arbitrary formulas for atomic ones (we are mainly interested in logics without equality, and only… (More)

- ‹
- 1
- ›