Algebras of logic as BCK algebras
From MaRDI portal
Publication:5190972
zbMATH Open1172.03038MaRDI QIDQ5190972FDOQ5190972
Authors: Afrodita Iorgulescu 
Publication date: 28 July 2009
Recommendations
- scientific article; zbMATH DE number 5308967
- On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras
- Non-commutative Multiple-Valued Logic Algebras
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
- scientific article; zbMATH DE number 1166192
BL-algebraHilbert algebraMTL-algebraMV-algebraHeyting algebraWajsberg algebrapocrimweak BL-algebranon-commutative logiccommutative logicBCK-algebra, left-pseudo-BCK-algebraleft-BCK-algebra
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)
Cited In (79)
- Pseudo-BCK algebras derived from directoids
- BCK algebras versus \(m\)-BCK algebras. Foundations
- Independence concepts for groupoids
- Fuzzy Semi-Maximal and Fuzzy Radical Ideals in MV-Algebras
- A study of fantastic filters in BL-algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deductive systems in unital quantum-B algebras
- Algebraic constructions of groupoids for metric spaces
- Some classes of state ideals in state MV-algebras
- Relation between Sheffer Stroke and Hilbert algebras
- Left rays of groupoids
- FUZZY OBSTINATE IDEALS IN MV-ALGEBRAS
- Some results on semi maximal filters in \(BL\)-algebras
- On implicative BE algebras
- Title not available (Why is that?)
- Solid weak BCC-algebras
- Boolean lifting property for residuated lattices
- Title not available (Why is that?)
- Regularity in residuated lattices
- Results in L-algebras
- Title not available (Why is that?)
- Quantum B-algebras with involutions
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients
- Modal operators on pseudo-BE algebras
- Intersection-soft filters in \(R_0\)-algebras
- On pseudo-BCI-algebras
- PMTL filters, \(\mathrm R\ell\) filters and PBL filters in residuated lattices
- On \(K\)-modal BL-logics
- Measures, states and de Finetti maps on pseudo-BCK algebras
- Title not available (Why is that?)
- State filters on fuzzy structures with internal states
- General implicativity in groupoids
- Bracket functions on groupoids
- Pseudo \(p\)-closure with respect to ideals in pseudo BCI-algebras
- Generalized Bosbach states. I
- Implicative int-soft filters of \(R_0\)-algebras
- The stable topology for residuated lattices
- Galois connection of stabilizers in residuated lattices
- Relative negations in non-commutative fuzzy structures
- Archimedean residuated lattices
- A glimpse of deductive systems in algebra
- Results on equality algebras
- Pseudo-equality algebras and residuated posets
- Stone duality for \(R_0\)-algebras with internal states
- Title not available (Why is that?)
- Non-commutative residuated lattices based on soft sets
- On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras
- Primary decomposition of filters in BL-algebras
- A construction of mirror \(Q\)-algebras
- Title not available (Why is that?)
- Construction of \(BCK\)-neighborhood systems in a \(d\)-algebra
- Equational spectrum of Hilbert varieties
- Commutative pseudo-equality algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Internal states on equality algebras
- Monadic classes of quantum B-algebras
- The radical of a perfect residuated structure
- On pseudo BL-algebras with internal state
- States on implication basic algebras
- Grishin algebras and cover systems for classical bilinear logic
- Some aspects of \(d\)-units in \(d/\)BCK-algebras
- Involutive filters of pseudo-hoops
- Primely filters in BL-algebras
- Title not available (Why is that?)
- On some generalizations of BCC-algebras
- Deductive systems of pseudo-M algebras
- Generalized Bosbach states. II
- Commutative deductive systems of pseudo-BCK-algebras
- Deductive systems and congruences in RM algebras
- On Traczyk's BCK-sequences
- State pseudo-equality algebras
- BCC-Algebras
- Monadic pseudo BCI-algebras and corresponding logics
- States on pseudo BE-algebras
- On the structure of linearly ordered pseudo-BCK-algebras
- An algebra and a logic for \(NC^ 1\)
This page was built for publication: Algebras of logic as BCK algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5190972)
