#### Filter Results:

- Full text PDF available (1)

#### Publication Type

#### Journals and Conferences

#### Key Phrases

Learn More

- Dmitry P. Skvortsov
- TACL
- 2013

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
- ›