3 results
CLASSICALLY ARCHETYPAL RULES
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 15 May 2018, pp. 279-294
- Print publication:
- June 2018
-
- Article
- Export citation
Kripke models of certain subtheories of Heyting Arithmetic
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 136-142
-
- Chapter
- Export citation
Propositional quantification in the monadic fragment of intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-300
- Print publication:
- March 1998
-
- Article
- Export citation