An algebra related with a propositional calculus

Cites work

Algebraic formulations of propositional calculi
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?)
On axiom systems of propositional calculi, XIV

Cited in

(only showing first 100 items - show all)

Wajsberg algebras and Post algebras
Ideal determined varieties need not be congruence 3-permutable
On a property of BCK-identities
On the structure of varieties with equationally definable principal congruences. III
On the quasivariety of BCK-algebras and its subvarieties
Varieties of commutative residuated integral pomonoids and their residuation subreducts
P-closure ideals in BCI-algebras
Hyperfuzzy ideals in BCK/BCI-algebras
Blocks and compatibility in \(\mathrm d_0\)-algebras
A note on automorphisms of finite \(B\)-algebras
Convex congruences
Introduction to neutrosophic BCI/BCK-algebras
Some properties of pseudo-BCK- and pseudo-BCI-algebras
Commutative deductive systems of pseudo-BCK-algebras
On topological BCI-algebras
Construction of quotient BCI(BCK)-algebra via a fuzzy ideal
On t-derivations of BCI-algebras
On \((\alpha, \beta)\)-derivations in BCI-algebras
The ideal entropy of BCI-algebras and its application in the binary linear codes
Monadic pseudo BCI-algebras and corresponding logics
A few notes on quantum \(B\)-algebras
Four new concepts of extensions of KU/UP-algebras
Splittings in subreducts of hoops
Projectivity in (bounded) commutative integral residuated lattices
On (complete) normality of \(m\)-pF subalgebras in BCK/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
Picture fuzzy set theory applied to UP-algebras
Spectral properties of cBCK-algebras
Some generalizations of p-semisimple BCI algebras and groups
Fuzzy filters of pseudo-BE algebras
Hybrid structures applied to ideals in 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
Int-soft filters of \(BE\)-algebras
The property of commutativity for some generalizations of BCK algebras
The annihilator of fuzzy subgroups
m-polar (, )-fuzzy ideals in BCK/BCI-algebras
State BCK-algebras and state-morphism BCK-algebras.
Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices
On very true operators on pocrims
BCK is not structurally complete
BCI-implicative ideals of BCI-algebras
Basic hoops: an algebraic study of continuous t-norms
On hyper BCC-algebras
On pseudo-BCI-algebras
Smarandache BL-algebra
\((\in,{\in}\vee\breve{q})\)-bipolar fuzzy \(b\)-ideals of BCK/BCI-algebras
Deductive systems of pseudo-M algebras
On d-ideals in d-algebras
Derivation, f-derivation and generalized derivation of KUS-algebras
Applications of N-structures in implicative filters of BE-algebras
State operators and state-morphism operators on hyper BCK-algebras
Ideals and atoms of BZ-algebras
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
On symmetric left bi-derivations in BCI-algebras
On independent varieties and some related notions
Varieties generated by finite BCK-algebras
Graph of BCI-algebras
scientific article; zbMATH DE number 1474205 (Why is no real title available?)
scientific article; zbMATH DE number 1737275 (Why is no real title available?)
scientific article; zbMATH DE number 1746889 (Why is no real title available?)
Pseudo-BCH semilattices
On some properties of doubt bipolar fuzzy H-ideals in BCK/BCI-algebras
A survey of fuzzy implication algebras and their axiomatization
Graphs of BCI/BCK-algebras
scientific article; zbMATH DE number 2172825 (Why is no real title available?)
Intuitionistic \(L\)-fuzzy ideals of BG-algebras.
A structure of BCI-algebras
p-closure in pseudo BCI-algebras
Hoops with quasi-valuation maps
scientific article; zbMATH DE number 6973805 (Why is no real title available?)
scientific article; zbMATH DE number 6973825 (Why is no real title available?)
Extensions of BCK-algebras
Some properties of pseudo-BCI algebras
Fuzzy proper UP-filters of UP-algebras
Engel BCI-algebras: an application of left and right commutators.
RM algebras and commutative moons
scientific article; zbMATH DE number 7386880 (Why is no real title available?)
Strong ideals and horizontal ideals in pseudo-BCH-algebras
On class of subalgebras of bounded BCK-algebras
\( \eta \)-Smarandache pseudo fuzzy ideal of a pseudo BH-algebra
Multipliers and near up-filters of UP-algebras
Pseudo-BCK algebras derived from directoids
Some types of UP-filters in UP-algebras
On quasi-commutative KK-algebra
Some result on pseudo CI-filters
Atanassov's intuitionistic fuzzy translations of intuitionistic fuzzy subalgebras and ideals in BCK/BCI-algebras
Pseudo p-closure with respect to ideals in pseudo BCI-algebras
ON THE ZERO DIVISOR GRAPHS OF SOME HYPER BCI-ALGEBRAS
Fuzzy translations of a fuzzy set in UP-algebras
Irreducible and prime deductive systems of some generalizations of BCK algebras
Fuzzy deductive systems of RM algebras
On derivations and generalized derivations of bitonic algebras
On left derivations of \(BCH\)-algebras
Fuzzy Points in BE-Algebras
Derivations of UP-algebras
Quasi-valuation maps based on positive implicative ideals in BCK-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)