On axiom systems of propositional calculi, XIV

DOI10.3792/pja/1195522169zbMath0156.24812WikidataQ56673840 ScholiaQ56673840MaRDI QIDQ5536250

Kiyoshi Iseki, Yasuyuki Imai

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

zbMATH Keywords

mathematical logic

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, FUZZY STRUCTURES ON HYPERK-ALGEBRAS, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, On axiom systems of propositional calculi, XXI, On axiom systems of propositional calculi, XXII, On axiom systems of propositional calculi, XXV, On characterizations of $I$-algebra, I, On characterizations of $I$-algebra, II, On variants of axiom systems of propositional calculus, I, An algebra related with a propositional calculus, On fuzzy ideals in BCC-algebras, Redefined fuzzy \(B\)-algebras, On pseudo-BL algebras and BCC-algebras, Lattice structure on some fuzzy algebraic systems, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras, Impossibility of defining the class of \(L_ 0\)-algebras by means of identities, A BCK algebraic characteristic of the fuzzy inverse operator, Fuzzy implicative ideals in BCK-algebras, Fuzzy pseudo-ideals of pseudo-BCK algebras., Congruences, ideals and annihilators in standard QBCC-algebras, Construction of quotient BCI(BCK)-algebra via a fuzzy ideal, On transitivity of strict preference relations, Fuzzy commutative ideals of BCK-algebras, A basic algebra is an MV-algebra if and only if it is a BCC-algebra, BCI-implicative ideals of BCI-algebras, Formal systems of fuzzy logic and their fragments, On sensible fuzzy ideals of BCK-algebras with respect to a t-conorm, On \(Q\)-upper algebras, Intuitionistic fuzzy commutative hyper \(K\)-ideals, Unnamed Item, (Weak) dual hyper \(K\)-ideals, Implicative hyper K-algebras, HyperMV-ideals in hyperMV-algebras, A classification of hyperK-algebras of order 3, On axioms of Boolean algebra

Cites Work

• Unnamed Item
• Algebraic formulations of propositional calculi