Implicit connectives of algebraizable logics
From MaRDI portal
Publication:1770605
DOI10.1007/S11225-005-5170-6zbMath1058.03076OpenAlexW2069644928MaRDI QIDQ1770605
Publication date: 7 April 2005
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-5170-6
Related Items (11)
Principal congruences in weak Heyting algebras ⋮ The logic Ł• ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ Axiomatizability by \({\forall \exists!}\)-sentences ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ Compatible operations on commutative residuated lattices ⋮ Compatible operations on residuated lattices ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ Compatible operations on commutative weak residuated lattices ⋮ On relative principal congruences in term quasivarieties ⋮ ALGEBRAIC EXPANSIONS OF LOGICS
Cites Work
This page was built for publication: Implicit connectives of algebraizable logics