Publication:3142030
From MaRDI portal
zbMath0788.03006MaRDI QIDQ3142030
Ventura Verdú, Jordi Rebagliato
Publication date: 5 June 1994
algebraic semantics; pseudocomplemented distributive lattices; equational deduction; algebraization of Gentzen systems; Gentzen deduction; implicationless fragment of intuitionistic propositional calculus
03G10: Logical aspects of lattices and related structures
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, A relational semantics for the logic of bounded lattices, AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS, Reductio ad contradictionem: an algebraic perspective, The semantic isomorphism theorem in abstract algebraic logic, On Gentzen relations associated with finite-valued logics preserving degrees of truth, Representations of structural closure operators, Cut elimination and strong separation for substructural logics: an algebraic approach, On the infinite-valued Łukasiewicz logic that preserves degrees of truth, Selfextensional logics with a conjunction, Selfextensional logics with a distributive nearlattice term, The logic of distributive nearlattices, Countably many weakenings of Belnap-Dunn logic, \(M\)-sets and the representation problem, 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