On axiom systems of propositional calculi, XIV
From MaRDI portal
Publication:5536250
DOI10.3792/pja/1195522169zbMath0156.24812OpenAlexW2078688875WikidataQ56673840 ScholiaQ56673840MaRDI QIDQ5536250
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/1195522169
Related Items (only showing first 100 items - show all)
Impossibility of defining the class of \(L_ 0\)-algebras by means of identities ⋮ BCK-monoids ⋮ On (complete) normality of \(m\)-pF subalgebras in BCK/BCI-algebras ⋮ On an extension of KU-algebras ⋮ \(P\)-closure ideals in BCI-algebras ⋮ Subalgebras of type \((\alpha, \beta)\) based on \(m\)-polar fuzzy points in BCK/BCI-algebras ⋮ Branchwise solid generalized BCH-algebras ⋮ Codewords generated by UP-valued functions ⋮ Pythagorean fuzzy sets in UP-algebras and approximations ⋮ Unnamed Item ⋮ Redefined fuzzy \(B\)-algebras ⋮ Isomorphism theorems on weak AB-algebras ⋮ Picture fuzzy set theory applied to UP-algebras ⋮ Smarandache BL-algebra ⋮ A BCK algebraic characteristic of the fuzzy inverse operator ⋮ Wajsberg algebras arising from binary block codes ⋮ Hyperfuzzy ideals in BCK/BCI-algebras ⋮ Spectral properties of cBCK-algebras ⋮ (Weak) dual hyper \(K\)-ideals ⋮ Applications of fuzzy \(\rho \)-ideals in \(\rho \)-algebras ⋮ Internal states on equality algebras ⋮ On pseudo-BL algebras and BCC-algebras ⋮ Certain concepts of \(\mathscr{Q}\)-hesitant fuzzy ideals ⋮ On symmetric left bi-derivations in BCI-algebras ⋮ On (para, quasi) topological MV-algebras ⋮ On fuzzy subalgebras of BE-algebras ⋮ \((\in,{\in}\vee\breve{q})\)-bipolar fuzzy \(b\)-ideals of BCK/BCI-algebras ⋮ On transitivity of strict preference relations ⋮ Fuzzy commutative ideals of BCK-algebras ⋮ On \(t\)-derivations of BCI-algebras ⋮ Non-commutative logical algebras and algebraic quantales ⋮ CI-algebra is equivalent to dual \(Q\)-algebra ⋮ Applications of N-structures in implicative filters of BE-algebras ⋮ On \((\alpha, \beta)\)-derivations in BCI-algebras ⋮ Applications of soft sets in BE-algebras. ⋮ Commutative and bounded BE-algebras. ⋮ (Semi)topological quotient BCK-algebras ⋮ A basic algebra is an MV-algebra if and only if it is a BCC-algebra ⋮ Graph of BCI-algebras ⋮ On BRK-algebras ⋮ Intuitionistic \((T, S)\)-fuzzy CI-algebras ⋮ On interval valued intuitionistic fuzzy \(\beta \)-subalgebras ⋮ A note on automorphisms of finite \(B\)-algebras ⋮ Some connections between BCK-algebras and \(n\)-ary block codes ⋮ Deductive systems of pseudo-M algebras ⋮ Algebraic structures of soft sets associated with new operations ⋮ Fuzzy filters of pseudo-BE algebras ⋮ On homomorphisms of \(AB\)-algebras ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ State hoops ⋮ Generalized derivations of BCC-algebras. ⋮ State operators and state-morphism operators on hyper BCK-algebras ⋮ δ-relation on dual hyper K–algebras ⋮ On codes based on BCK-algebras ⋮ Applications of rough soft sets in BCI-algebras and decision making ⋮ Intuitionistic \(L\)-fuzzy ideals of BG-algebras. ⋮ A structure of BCI-algebras ⋮ Fuzzy pseudo-ideals of pseudo-BCK algebras. ⋮ Lattice structure on some fuzzy algebraic systems ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Hybrid structures applied to ideals in BCI-algebras ⋮ Results in L-algebras ⋮ BCI-implicative ideals of BCI-algebras ⋮ Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras ⋮ Formal systems of fuzzy logic and their fragments ⋮ Strong ideals and horizontal ideals in pseudo-BCH-algebras ⋮ On sensible fuzzy ideals of BCK-algebras with respect to a t-conorm ⋮ Convex congruences ⋮ Commutative extended BCK-algebras ⋮ Introduction to neutrosophic BCI/BCK-algebras ⋮ Some types of filters in BE-algebras. ⋮ Compatible deductive systems of pulexes ⋮ Congruences, ideals and annihilators in standard QBCC-algebras ⋮ On \((\alpha ,\beta )\)-derivations in \(d\)-algebras ⋮ Some kinds of \((\epsilon_\gamma,\epsilon_\gamma\vee \!q_\delta)\)-fuzzy ideals of BCI-algebras ⋮ On \(Q\)-upper algebras ⋮ Intuitionistic fuzzy commutative hyper \(K\)-ideals ⋮ Generalized \(m\)-polar fuzzy positive implicative ideals of BCK-algebras ⋮ Strong GE-filters and GE-ideals of bordered GE-algebras ⋮ Commutative deductive systems of pseudo-BCK-algebras ⋮ A novel \(Z\)-soft rough fuzzy BCI-algebras (ideals) of BCI-algebras ⋮ On \(N\)-filters of CI-algebra ⋮ Derivation, f-derivation and generalized derivation of KUS-algebras ⋮ Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps ⋮ Monadic pseudo BE-algebras ⋮ Different types of cubic ideals in BCI-algebras based on fuzzy points ⋮ Int-soft filters of \(BE\)-algebras ⋮ \((\in, \in \vee q)\)-fuzzy BCK-submodules ⋮ Fuzzy implicative ideals in BCK-algebras ⋮ On pseudo-CI algebras ⋮ The property of commutativity for some generalizations of BCK algebras ⋮ Four new concepts of extensions of KU/UP-algebras ⋮ DERIVATIONS OF MV-ALGEBRAS FROM HYPER MV-ALGEBRAS ⋮ Commutative deductive systems in probability theory on generalizations of fuzzy structures ⋮ The annihilator of fuzzy subgroups ⋮ New branch of intuitionistic fuzzification in algebras with their applications ⋮ \(m\)-polar \((\alpha, \beta)\)-fuzzy ideals in BCK/BCI-algebras ⋮ Construction of quotient BCI(BCK)-algebra via a fuzzy ideal ⋮ State BCK-algebras and state-morphism BCK-algebras. ⋮ EI, involutory and EQI-ideal in bounded BCK-algebras.
Cites Work
This page was built for publication: On axiom systems of propositional calculi, XIV
