Algebras of logic as BCK algebras
From MaRDI portal
Publication:5190972
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
Cited in
(79)- Boolean lifting property for residuated lattices
- On implicative BE algebras
- scientific article; zbMATH DE number 3904588 (Why is no real title available?)
- Solid weak BCC-algebras
- Pseudo-BCK algebras derived from directoids
- scientific article; zbMATH DE number 6718855 (Why is no real title available?)
- Results in L-algebras
- scientific article; zbMATH DE number 5896241 (Why is no real title available?)
- Regularity in residuated lattices
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients
- Quantum B-algebras with involutions
- BCK algebras versus \(m\)-BCK algebras. Foundations
- Modal operators on pseudo-BE algebras
- Independence concepts for groupoids
- Fuzzy Semi-Maximal and Fuzzy Radical Ideals in MV-Algebras
- Intersection-soft filters in \(R_0\)-algebras
- Measures, states and de Finetti maps on pseudo-BCK algebras
- On pseudo-BCI-algebras
- On \(K\)-modal BL-logics
- PMTL filters, \(\mathrm R\ell\) filters and PBL filters in residuated lattices
- scientific article; zbMATH DE number 6973825 (Why is no real title available?)
- General implicativity in groupoids
- Generalized Bosbach states. I
- Bracket functions on groupoids
- State filters on fuzzy structures with internal states
- Implicative int-soft filters of \(R_0\)-algebras
- The stable topology for residuated lattices
- Pseudo \(p\)-closure with respect to ideals in pseudo BCI-algebras
- Relative negations in non-commutative fuzzy structures
- Galois connection of stabilizers in residuated lattices
- A study of fantastic filters in BL-algebras
- Archimedean residuated lattices
- A glimpse of deductive systems in algebra
- Results on equality algebras
- Pseudo-equality algebras and residuated posets
- scientific article; zbMATH DE number 1746889 (Why is no real title available?)
- scientific article; zbMATH DE number 3889528 (Why is no real title available?)
- Stone duality for \(R_0\)-algebras with internal states
- scientific article; zbMATH DE number 7528820 (Why is no real title available?)
- Non-commutative residuated lattices based on soft sets
- On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras
- Deductive systems in unital quantum-B algebras
- Primary decomposition of filters in BL-algebras
- A construction of mirror \(Q\)-algebras
- Algebraic constructions of groupoids for metric spaces
- Equational spectrum of Hilbert varieties
- Commutative pseudo-equality algebras
- Construction of \(BCK\)-neighborhood systems in a \(d\)-algebra
- scientific article; zbMATH DE number 4204312 (Why is no real title available?)
- Some classes of state ideals in state MV-algebras
- Relation between Sheffer Stroke and Hilbert algebras
- Internal states on equality algebras
- scientific article; zbMATH DE number 3845545 (Why is no real title available?)
- scientific article; zbMATH DE number 5308967 (Why is no real title available?)
- Monadic classes of quantum B-algebras
- scientific article; zbMATH DE number 1303456 (Why is no real title available?)
- The radical of a perfect residuated structure
- On pseudo BL-algebras with internal state
- Left rays of groupoids
- Grishin algebras and cover systems for classical bilinear logic
- States on implication basic algebras
- FUZZY OBSTINATE IDEALS IN MV-ALGEBRAS
- Some aspects of d-units in d/BCK-algebras
- Involutive filters of pseudo-hoops
- scientific article; zbMATH DE number 6866058 (Why is no real title available?)
- Primely filters in BL-algebras
- On some generalizations of BCC-algebras
- Some results on semi maximal filters in \(BL\)-algebras
- Deductive systems of pseudo-M algebras
- Generalized Bosbach states. II
- Commutative deductive systems of pseudo-BCK-algebras
- On Traczyk's BCK-sequences
- Deductive systems and congruences in RM algebras
- State pseudo-equality algebras
- Monadic pseudo BCI-algebras and corresponding logics
- BCC-Algebras
- On the structure of linearly ordered pseudo-BCK-algebras
- States on pseudo BE-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)
