Reports on Mathematical Logic

No. 44

Rodolfo ERTOLA and Marta SAGASTUME

Subminimal logic and weak algebras

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