Publication:3142030
From MaRDI portal
zbMath0788.03006MaRDI QIDQ3142030
Ventura Verdú, Jordi Rebagliato
Publication date: 5 June 1994
algebraic semanticspseudocomplemented distributive latticesequational deductionalgebraization of Gentzen systemsGentzen deductionimplicationless fragment of intuitionistic propositional calculus
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