scientific article; zbMATH DE number 5587441
From MaRDI portal
Publication:5190972
zbMath1172.03038MaRDI QIDQ5190972
Publication date: 28 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebraMV-algebraWajsberg algebraBL-algebraHilbert algebraMTL-algebrapocrimweak BL-algebranon-commutative logiccommutative logicBCK-algebra, left-pseudo-BCK-algebraleft-BCK-algebra
BCK-algebras, BCI-algebras (06F35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25)
Related Items (61)
Pseudo-BCK Algebras Derived from Directoids ⋮ Solid weak BCC-algebras ⋮ State pseudo equality algebras ⋮ General implicativity in groupoids ⋮ Generalized Bosbach states. I ⋮ Modal operators on pseudo-BE algebras ⋮ States on implication basic algebras ⋮ The radical of a perfect residuated structure ⋮ Monadic classes of quantum B-algebras ⋮ On pseudo BL-algebras with internal state ⋮ The stable topology for residuated lattices ⋮ Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Internal states on equality algebras ⋮ Relation between Sheffer Stroke and Hilbert algebras ⋮ Generalized Bosbach states. II ⋮ A glimpse of deductive systems in algebra ⋮ Unnamed Item ⋮ Construction of \(BCK\)-neighborhood systems in a \(d\)-algebra ⋮ Relative negations in non-commutative fuzzy structures ⋮ On K-modal BL-logics ⋮ Deductive systems in unital quantum-B algebras ⋮ Boolean lifting property for residuated lattices ⋮ Measures, states and de Finetti maps on pseudo-BCK algebras ⋮ A construction of mirror \(Q\)-algebras ⋮ On implicative BE algebras ⋮ Independence concepts for groupoids ⋮ Commutative pseudo-equality algebras ⋮ SOME CLASSES OF STATE IDEALS IN STATE MV -ALGEBRAS ⋮ Deductive systems of pseudo-M algebras ⋮ Some aspects of \(d\)-units in \(d/\)BCK-algebras ⋮ Unnamed Item ⋮ Intersection-soft filters in \(R_0\)-algebras ⋮ Non-commutative residuated lattices based on soft sets ⋮ Primary decomposition of filters in BL-algebras ⋮ Results in L-algebras ⋮ Archimedean Residuated Lattices ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ On some generalizations of BCC-algebras ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Unnamed Item ⋮ PSEUDO P-CLOSURE WITH RESPECT TO IDEALS IN PSEUDO BCI-ALGEBRAS ⋮ State filters on fuzzy structures with internal states ⋮ Commutative deductive systems of pseudo-BCK-algebras ⋮ On pseudo-BCI-algebras ⋮ Results on equality algebras ⋮ Involutive filters of pseudo-hoops ⋮ Implicative int-soft filters of \(R_0\)-algebras ⋮ Equational spectrum of Hilbert varieties ⋮ Unnamed Item ⋮ On the structure of linearly ordered pseudo-BCK-algebras ⋮ On Traczyk's BCK-sequences ⋮ Unnamed Item ⋮ Galois connection of stabilizers in residuated lattices ⋮ Quantum B-algebras with involutions ⋮ FUZZY OBSTINATE IDEALS IN MV-ALGEBRAS ⋮ Regularity in residuated lattices ⋮ Fuzzy Semi-Maximal and Fuzzy Radical Ideals in MV-Algebras
This page was built for publication:
