TY - RPRT TI - $Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras AU - Rodrigo Nicolau Almeida PY - 2024 UR - https://arxiv.org/abs/2311.07189 ID - 2311.07189 ER -