scientific article

zbMath0749.03055MaRDI QIDQ4011728

Don Pigozzi

Publication date: 27 September 1992

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

zbMATH Keywords

varietyFregean algebrasalgebraic analogue of the Fregean axiomBrouwerian structureNon-Fregean Logic

Mathematics Subject Classification ID

Algebraic logic (03G99) Varieties (08B99)

Related Items (16)

ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ The structure of completely meet irreducible congruences in strongly Fregean algebras ⋮ Selfextensional logics with a conjunction ⋮ Fregean logics ⋮ A Mathematical Life ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ The commutator in equivalential algebras and Fregean varieties ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ On algebras and varieties with semilattice reducts ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ On the structure of varieties with equationally definable principal congruences. IV

This page was built for publication: