An algebra related with a propositional calculus

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

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

HOOPS WITH QUASI-VALUATION MAPS ⋮ On a property of BCK-identities ⋮ η-Smarandache pseudo fuzzy ideal of a pseudo BH-algebra ⋮ Multipliers and near UP-filters of UP-algebras ⋮ P-CLOSURE IN PSEUDO BCI-ALGEBRAS ⋮ On (complete) normality of \(m\)-pF subalgebras in BCK/BCI-algebras ⋮ Integrally closed residuated lattices ⋮ \(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 ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ Unnamed Item ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Picture fuzzy set theory applied to UP-algebras ⋮ Unnamed Item ⋮ Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices ⋮ Smarandache BL-algebra ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Hyperfuzzy ideals in BCK/BCI-algebras ⋮ Spectral properties of cBCK-algebras ⋮ Pseudo-BCH Semilattices ⋮ Some generalizations of p-semisimple BCI algebras and groups ⋮ On very true operators on pocrims ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On pseudo-BL algebras and BCC-algebras ⋮ On symmetric left bi-derivations in BCI-algebras ⋮ \((\in,{\in}\vee\breve{q})\)-bipolar fuzzy \(b\)-ideals of BCK/BCI-algebras ⋮ On independent varieties and some related notions ⋮ On \(t\)-derivations of BCI-algebras ⋮ On the variety generated by bounded pseudo-BCK-algebras ⋮ Applications of N-structures in implicative filters of BE-algebras ⋮ Blocks and compatibility in \(\mathrm d_0\)-algebras ⋮ On \((\alpha, \beta)\)-derivations in BCI-algebras ⋮ Measures, states and de Finetti maps on pseudo-BCK algebras ⋮ Applications of soft sets in BE-algebras. ⋮ Fuzzy filter spectrum of a BCK algebra ⋮ Graph of BCI-algebras ⋮ Unnamed Item ⋮ Joins and subdirect products of varieties ⋮ FUZZY PROPER UP-FILTERS OF UP-ALGEBRAS ⋮ A note on automorphisms of finite \(B\)-algebras ⋮ Deductive systems of pseudo-M algebras ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Unnamed Item ⋮ Fuzzy filters of pseudo-BE algebras ⋮ Unnamed Item ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ Unnamed Item ⋮ State operators and state-morphism operators on hyper BCK-algebras ⋮ Intuitionistic \(L\)-fuzzy ideals of BG-algebras. ⋮ A structure of BCI-algebras ⋮ BCK is not structurally complete ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Hybrid structures applied to ideals in BCI-algebras ⋮ Fuzzy dot ideals and fuzzy dot \(H\)-ideals of BCH-algebras ⋮ BCI-implicative ideals of BCI-algebras ⋮ Boolean representation of bounded BCK-algebras ⋮ Graphsof BCI/BCK -algebras ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras ⋮ Strong ideals and horizontal ideals in pseudo-BCH-algebras ⋮ On hyper BCC-algebras ⋮ Convex congruences ⋮ Introduction to neutrosophic BCI/BCK-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algorithms and computations for foldedness of P-ideals in BCI-algebras ⋮ The ideal entropy of BCI-algebras and its application in the binary linear codes ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras ⋮ Varieties generated by finite BCK-algebras ⋮ Commutative deductive systems of pseudo-BCK-algebras ⋮ Unnamed Item ⋮ On pseudo-BCI-algebras ⋮ Extensions of BCK-algebras ⋮ Derivation, f-derivation and generalized derivation of KUS-algebras ⋮ Some properties of pseudo-BCI algebras ⋮ Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps ⋮ Different types of cubic ideals in BCI-algebras based on fuzzy points ⋮ Ideals and atoms of BZ-algebras ⋮ A few notes on quantum \(B\)-algebras ⋮ On topological BCI-algebras ⋮ Int-soft filters of \(BE\)-algebras ⋮ The property of commutativity for some generalizations of BCK algebras ⋮ Four new concepts of extensions of KU/UP-algebras ⋮ Engel BCI-algebras: an application of left and right commutators ⋮ Monadic pseudo-equality algebras ⋮ Splittings in subreducts of hoops ⋮ The annihilator of fuzzy subgroups ⋮ \(m\)-polar \((\alpha, \beta)\)-fuzzy ideals in BCK/BCI-algebras ⋮ Construction of quotient BCI(BCK)-algebra via a fuzzy ideal ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ Wajsberg algebras and Post algebras ⋮ State BCK-algebras and state-morphism BCK-algebras. ⋮ Ideal determined varieties need not be congruence 3-permutable

Cites Work

• Algebraic formulations of propositional calculi
• On axiom systems of propositional calculi, XIV
• Unnamed Item
• Unnamed Item
• Unnamed Item

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