Giacomo Bartoli

Infinitary negative translations and Glivenko logic

Abstract We study infinitary intuitionistic logic by employing both syntactic and semantic methods. First, we introduce a natural deduction system for infinitary predicate logic and study some of its basic properties. We then extend neighbourhood semantics to this setting, provid...