An algebra related with a propositional calculus
From MaRDI portal
Publication:5607967
Cites work
- scientific article; zbMATH DE number 3114382 (Why is no real title available?)
- scientific article; zbMATH DE number 3204592 (Why is no real title available?)
- scientific article; zbMATH DE number 3077773 (Why is no real title available?)
- Algebraic formulations of propositional calculi
- On axiom systems of propositional calculi, XIV
Cited in
(only showing first 100 items - show all)- Joins and subdirect products of varieties
- Pseudo-BCH semilattices
- On derivations and generalized derivations of bitonic algebras
- State operators and state-morphism operators on hyper BCK-algebras
- Fuzzy Points in BE-Algebras
- Derivation, f-derivation and generalized derivation of KUS-algebras
- Engel BCI-algebras: an application of left and right commutators.
- Characterizations of $\mathrm{BCI, BCK}$-algebras
- \((\in,{\in}\vee\breve{q})\)-bipolar fuzzy \(b\)-ideals of BCK/BCI-algebras
- scientific article; zbMATH DE number 1474205 (Why is no real title available?)
- Fuzzy proper UP-filters of UP-algebras
- Fuzzy translations of a fuzzy set in UP-algebras
- A novel study based on fuzzy p-ideals of BCI-algebras
- On the structure of varieties with equationally definable principal congruences. III
- Strong ideals and horizontal ideals in pseudo-BCH-algebras
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Four new concepts of extensions of KU/UP-algebras
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
- On the category of pseudo-BCI-algebras
- On topological BCI-algebras
- Basic hoops: an algebraic study of continuous t-norms
- RM algebras and commutative moons
- Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps
- On nayo algebras
- Splittings in subreducts of hoops
- Irreducible and prime deductive systems of some generalizations of BCK algebras
- Fuzzy dot ideals and fuzzy dot \(H\)-ideals of BCH-algebras
- On RM-algebras with an additional condition
- The prime spectrum of a BCI-algebra
- Blocks and compatibility in \(\mathrm d_0\)-algebras
- Deductive systems of pseudo-M algebras
- On independent varieties and some related notions
- Int-soft filters of \(BE\)-algebras
- On \(s\)-topological \(d\)-algebras
- Commutative deductive systems of pseudo-BCK-algebras
- Symmetric bi-derivations of UP(BCC)-algebras
- On pre-topological BCK-algebras
- Fuzzy filters of pseudo-BE algebras
- Spectral properties of cBCK-algebras
- Monadic pseudo BCI-algebras and corresponding logics
- Algebraic formulation of propositional calculi with general detachment rule
- \(m\)-polar cubic \(p(q\) and \(a\))-ideals of \textit{BCI}-algebras
- Smarandache BL-algebra
- p-closure in pseudo BCI-algebras
- Picture fuzzy set theory applied to UP-algebras
- Hybrid structures applied to ideals in BCI-algebras
- Quasi-valuation maps based on positive implicative ideals in BCK-algebras
- On t-derivations of BCI-algebras
- \( \eta \)-Smarandache pseudo fuzzy ideal of a pseudo BH-algebra
- Pseudo-BCK algebras derived from directoids
- On \((\alpha, \beta)\)-derivations in BCI-algebras
- Different types of cubic ideals in BCI-algebras based on fuzzy points
- Pythagorean fuzzy sets in UP-algebras and approximations
- Graphsof BCI/BCK -algebras
- Wajsberg algebras and Post algebras
- Integrally closed residuated lattices
- The annihilator of fuzzy subgroups
- scientific article; zbMATH DE number 2172825 (Why is no real title available?)
- Applications of \(N\)-structures in implicative filters of BE-algebras
- Projectivity in (bounded) commutative integral residuated lattices
- Intuitionistic \(L\)-fuzzy ideals of BG-algebras.
- On hyper BCC-algebras
- State BCK-algebras and state-morphism BCK-algebras.
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Some types of UP-filters in UP-algebras
- On the variety generated by bounded pseudo-BCK-algebras
- Graph of BCI-algebras
- Convex congruences
- The ideal entropy of BCI-algebras and its application in the binary linear codes
- Derivations of UP-algebras
- scientific article; zbMATH DE number 1737275 (Why is no real title available?)
- Some properties of pseudo-BCI algebras
- P-closure ideals in BCI-algebras
- On class of subalgebras of bounded BCK-algebras
- Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras
- A note on theta pairs for \(BCI\)-algebras
- A new extension of RM-algebras
- Measures, states and de Finetti maps on pseudo-BCK algebras
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- On pseudo-BCI-algebras
- Introduction to neutrosophic BCI/BCK-algebras
- scientific article; zbMATH DE number 6973825 (Why is no real title available?)
- scientific article; zbMATH DE number 6973805 (Why is no real title available?)
- Branchwise solid generalized BCH-algebras
- Codewords generated by UP-valued functions
- Subalgebras of type \((\alpha, \beta)\) based on \(m\)-polar fuzzy points in BCK/BCI-algebras
- \(\aleph_0\)-algebra and its novel application in edge detection
- Boolean representation of bounded BCK-algebras
- ON THE ZERO DIVISOR GRAPHS OF SOME HYPER BCI-ALGEBRAS
- Extensions of BCK-algebras
- Pseudo \(p\)-closure with respect to ideals in pseudo BCI-algebras
- Multipliers and near up-filters of UP-algebras
- Fuzzy ideals in \(\Gamma\)-BCK-algebras
- The p-semisimple property for some generalizations of BCI algebras and its applications
- A note on automorphisms of finite \(B\)-algebras
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Algorithms and computations for foldedness of P-ideals in BCI-algebras
- Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras
- Construction of quotient BCI(BCK)-algebra via a fuzzy ideal
- Ideals and atoms of BZ-algebras
This page was built for publication: An algebra related with a propositional calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5607967)