scientific article

zbMath0488.03036MaRDI QIDQ3949048

No author found.

Publication date: 1977

Full work available at URL: https://eudml.org/doc/115312

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

zbMATH Keywords

deductive systemsimplicative algebraaxiom of Ivo ThomasLindenbaum algebra of the implicative propositional intuitionistic calculusmany-valued Hilbert algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (2)

Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ A family of genuine and non-algebraisable C-systems

This page was built for publication: