An algebra related with a propositional calculus
From MaRDI portal
Publication:5607967
DOI10.3792/PJA/1195522171zbMATH Open0207.29304OpenAlexW2011765234WikidataQ56673841 ScholiaQ56673841MaRDI QIDQ5607967FDOQ5607967
Authors: Kiyoshi Iseki 
Publication date: 1966
Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3792/pja/1195522171
Cites Work
Cited In (only showing first 100 items - show all)
- On \(t\)-derivations of BCI-algebras
- On \((\alpha, \beta)\)-derivations in BCI-algebras
- Wajsberg algebras and Post algebras
- Integrally closed residuated lattices
- Projectivity in (bounded) commutative integral residuated lattices
- On hyper BCC-algebras
- State BCK-algebras and state-morphism BCK-algebras.
- Intuitionistic \(L\)-fuzzy ideals of BG-algebras.
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- On the variety generated by bounded pseudo-BCK-algebras
- Title not available (Why is that?)
- Convex congruences
- Graph of BCI-algebras
- \(P\)-closure ideals in BCI-algebras
- Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras
- On pseudo-BCI-algebras
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- Measures, states and de Finetti maps on pseudo-BCK algebras
- Introduction to neutrosophic BCI/BCK-algebras
- Title not available (Why is that?)
- Pseudo \(p\)-closure with respect to ideals in pseudo BCI-algebras
- Boolean representation of bounded BCK-algebras
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- A note on automorphisms of finite \(B\)-algebras
- Algorithms and computations for foldedness of P-ideals in BCI-algebras
- Construction of quotient BCI(BCK)-algebra via a fuzzy ideal
- Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras
- Varieties generated by finite BCK-algebras
- Hyperfuzzy ideals in BCK/BCI-algebras
- A few notes on quantum \(B\)-algebras
- A structure of BCI-algebras
- \((\in,\in\vee q)\)-intuitionistic fuzzy BCI-subalgebras of a BCI-algebra
- Fuzzy filter spectrum of a BCK algebra
- BCI-implicative ideals of BCI-algebras
- Applications of soft sets in BE-algebras.
- On a property of BCK-identities
- A survey of fuzzy implication algebras and their axiomatization
- On pseudo-BL algebras and BCC-algebras
- On the quasivariety of BCK-algebras and its subvarieties
- Ideal determined varieties need not be congruence 3-permutable
- Monadic pseudo-equality algebras
- On \(d\)-ideals in \(d\)-algebras
- On symmetric left bi-derivations in BCI-algebras
- BCK is not structurally complete
- State operators and state-morphism operators on hyper BCK-algebras
- Derivation, f-derivation and generalized derivation of KUS-algebras
- Joins and subdirect products of varieties
- Characterizations of $\mathrm{BCI, BCK}$-algebras
- \((\in,{\in}\vee\breve{q})\)-bipolar fuzzy \(b\)-ideals of BCK/BCI-algebras
- Title not available (Why is that?)
- On the category of pseudo-BCI-algebras
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Strong ideals and horizontal ideals in pseudo-BCH-algebras
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
- On topological BCI-algebras
- Basic hoops: an algebraic study of continuous t-norms
- Fuzzy dot ideals and fuzzy dot \(H\)-ideals of BCH-algebras
- Blocks and compatibility in \(\mathrm d_0\)-algebras
- On pre-topological BCK-algebras
- On independent varieties and some related notions
- Commutative deductive systems of pseudo-BCK-algebras
- Fuzzy filters of pseudo-BE algebras
- Monadic pseudo BCI-algebras and corresponding logics
- p-closure in pseudo BCI-algebras
- Smarandache BL-algebra
- Picture fuzzy set theory applied to UP-algebras
- Quasi-valuation maps based on positive implicative ideals in BCK-algebras
- Hybrid structures applied to ideals in BCI-algebras
- \( \eta \)-Smarandache pseudo fuzzy ideal of a pseudo BH-algebra
- Pseudo-BCK algebras derived from directoids
- Different types of cubic ideals in BCI-algebras based on fuzzy points
- Graphsof BCI/BCK -algebras
- Pythagorean fuzzy sets in UP-algebras and approximations
- Title not available (Why is that?)
- The annihilator of fuzzy subgroups
- Applications of \(N\)-structures in implicative filters of BE-algebras
- Some types of UP-filters in UP-algebras
- Derivations of UP-algebras
- The ideal entropy of BCI-algebras and its application in the binary linear codes
- Some properties of pseudo-BCI algebras
- On class of subalgebras of bounded BCK-algebras
- A note on theta pairs for \(BCI\)-algebras
- A new extension of RM-algebras
- Title not available (Why is that?)
- \(\aleph_0\)-algebra and its novel application in edge detection
- ON THE ZERO DIVISOR GRAPHS OF SOME HYPER BCI-ALGEBRAS
- 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
- Fuzzy ideals in \(\Gamma\)-BCK-algebras
- Extensions of BCK-algebras
- Multipliers and near up-filters of UP-algebras
- The p-semisimple property for some generalizations of BCI algebras and its applications
- Ideals and atoms of BZ-algebras
- On filters in eBE-algebras
- On some properties of doubt bipolar fuzzy H-ideals in BCK/BCI-algebras
- Title not available (Why is that?)
- Fuzzy deductive systems of RM algebras
- Some result on pseudo CI-filters
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)
