Publication:3142030

zbMath0788.03006MaRDI QIDQ3142030

Ventura Verdú, Jordi Rebagliato

Publication date: 5 June 1994

zbMATH Keywords

algebraic semanticspseudocomplemented distributive latticesequational deductionalgebraization of Gentzen systemsGentzen deductionimplicationless fragment of intuitionistic propositional calculus

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Reductio ad contradictionem: an algebraic perspective, On the infinite-valued Łukasiewicz logic that preserves degrees of truth, The semantic isomorphism theorem in abstract algebraic logic, Selfextensional logics with a conjunction, On Gentzen relations associated with finite-valued logics preserving degrees of truth, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Abstract algebraic logic. An introductory chapter, Representations of structural closure operators, Cut elimination and strong separation for substructural logics: an algebraic approach, Selfextensional logics with a distributive nearlattice term, AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS, On three implication-less fragments of t-norm based fuzzy logics, Beyond Rasiowa's algebraic approach to non-classical logics, On two fragments with negation and without implication of the logic of residuated lattices, The logic of distributive nearlattices, A Strong Completeness Theorem for the Gentzen systems associated with finite algebras, Countably many weakenings of Belnap-Dunn logic, A relational semantics for the logic of bounded lattices, \(M\)-sets and the representation problem