${\Pi }_2$-Rule Systems and Inductive Classes of Gödel Algebras

Rodrigo Nicolau Almeida

In this paper we present a general theory of ${\Pi }_2$-rules for systems of intuitionistic and modal logic. We introduce the notions of ${\Pi }_2$-rule system and of an Inductive Class,…