An algebra related with a propositional calculus

From MaRDI portal
Publication:5607967

DOI10.3792/pja/1195522171zbMath0207.29304OpenAlexW2011765234WikidataQ56673841 ScholiaQ56673841MaRDI QIDQ5607967

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




Related Items (only showing first 100 items - show all)

HOOPS WITH QUASI-VALUATION MAPSOn a property of BCK-identitiesη-Smarandache pseudo fuzzy ideal of a pseudo BH-algebraMultipliers and near UP-filters of UP-algebrasP-CLOSURE IN PSEUDO BCI-ALGEBRASOn (complete) normality of \(m\)-pF subalgebras in BCK/BCI-algebrasIntegrally closed residuated lattices\(P\)-closure ideals in BCI-algebrasSubalgebras of type \((\alpha, \beta)\) based on \(m\)-polar fuzzy points in BCK/BCI-algebrasBranchwise solid generalized BCH-algebrasCodewords generated by UP-valued functionsPythagorean fuzzy sets in UP-algebras and approximationsFunctional completeness of bounded structures of fuzzy logic with wvt-operatorsUnnamed ItemOn the structure of varieties with equationally definable principal congruences. IIIOn the quasivariety of BCK-algebras and its subvarietiesPicture fuzzy set theory applied to UP-algebrasUnnamed ItemClasses of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated latticesSmarandache BL-algebraVarieties of commutative residuated integral pomonoids and their residuation subreductsHyperfuzzy ideals in BCK/BCI-algebrasSpectral properties of cBCK-algebrasPseudo-BCH SemilatticesSome generalizations of p-semisimple BCI algebras and groupsOn very true operators on pocrimsUnnamed ItemUnnamed ItemOn pseudo-BL algebras and BCC-algebrasOn symmetric left bi-derivations in BCI-algebras\((\in,{\in}\vee\breve{q})\)-bipolar fuzzy \(b\)-ideals of BCK/BCI-algebrasOn independent varieties and some related notionsOn \(t\)-derivations of BCI-algebrasOn the variety generated by bounded pseudo-BCK-algebrasApplications of N-structures in implicative filters of BE-algebrasBlocks and compatibility in \(\mathrm d_0\)-algebrasOn \((\alpha, \beta)\)-derivations in BCI-algebrasMeasures, states and de Finetti maps on pseudo-BCK algebrasApplications of soft sets in BE-algebras.Fuzzy filter spectrum of a BCK algebraGraph of BCI-algebrasUnnamed ItemJoins and subdirect products of varietiesFUZZY PROPER UP-FILTERS OF UP-ALGEBRASA note on automorphisms of finite \(B\)-algebrasDeductive systems of pseudo-M algebrasASSERTIONALLY EQUIVALENT QUASIVARIETIESUnnamed ItemFuzzy filters of pseudo-BE algebrasUnnamed ItemA survey of fuzzy implication algebras and their axiomatizationUnnamed ItemState operators and state-morphism operators on hyper BCK-algebrasIntuitionistic \(L\)-fuzzy ideals of BG-algebras.A structure of BCI-algebrasBCK is not structurally completeOn BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebrasHybrid structures applied to ideals in BCI-algebrasFuzzy dot ideals and fuzzy dot \(H\)-ideals of BCH-algebrasBCI-implicative ideals of BCI-algebrasBoolean representation of bounded BCK-algebrasGraphsof BCI/BCK -algebrasBasic hoops: an algebraic study of continuous t-normsSome kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebrasStrong ideals and horizontal ideals in pseudo-BCH-algebrasOn hyper BCC-algebrasConvex congruencesIntroduction to neutrosophic BCI/BCK-algebrasUnnamed ItemUnnamed ItemAlgorithms and computations for foldedness of P-ideals in BCI-algebrasThe ideal entropy of BCI-algebras and its application in the binary linear codesMonadic pseudo BCI-algebras and corresponding logicsAlgorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebrasSome properties of pseudo-BCK- and pseudo-BCI-algebrasVarieties generated by finite BCK-algebrasCommutative deductive systems of pseudo-BCK-algebrasUnnamed ItemOn pseudo-BCI-algebrasExtensions of BCK-algebrasDerivation, f-derivation and generalized derivation of KUS-algebrasSome properties of pseudo-BCI algebrasQuotient structures of BCK/BCI-algebras induced by quasi-valuation mapsDifferent types of cubic ideals in BCI-algebras based on fuzzy pointsIdeals and atoms of BZ-algebrasA few notes on quantum \(B\)-algebrasOn topological BCI-algebrasInt-soft filters of \(BE\)-algebrasThe property of commutativity for some generalizations of BCK algebrasFour new concepts of extensions of KU/UP-algebrasEngel BCI-algebras: an application of left and right commutatorsMonadic pseudo-equality algebrasSplittings in subreducts of hoopsThe annihilator of fuzzy subgroups\(m\)-polar \((\alpha, \beta)\)-fuzzy ideals in BCK/BCI-algebrasConstruction of quotient BCI(BCK)-algebra via a fuzzy idealProjectivity in (bounded) commutative integral residuated latticesWajsberg algebras and Post algebrasState BCK-algebras and state-morphism BCK-algebras.Ideal determined varieties need not be congruence 3-permutable



Cites Work


This page was built for publication: An algebra related with a propositional calculus