scientific article

zbMath0745.03058MaRDI QIDQ4011579

José Luis García-Lapresta

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semanticsimplicative algebrasHilbert algebrassubsystems of the implicative fragment of the intuitionistic calculus

Mathematics Subject Classification ID

Algebraic logic (03G99) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: