Rodolfo ERTOLA and Marta SAGASTUME
A b s t r a c t. In this paper we investigate the implication-less fragment of Johansson's minimal logic. We call it subminimal logic and we study its associated algebras, which we call weak algebras. We prove the algebraic Glivenko theorem, soundness and completeness for this logic.
Back to Main Menu