Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.1093/acprof:oso/9780198241560.001.0001 | ||||
On axiom systems of propositional calculi, XIV | Proceedings of the Japan Academy, Series A, Mathematical Sciences |
| 209 | 1966 |
Algebraic formulations of propositional calculi | Proceedings of the Japan Academy, Series A, Mathematical Sciences |
| 24 | 1965 |
[5] B. Sobocinski: Axiomatization of a partial system of three value calculus of propositions. Jour, of Computing Systems., 1, 23-55 (1952). | ||||
[3] J. Lukasiewicz: Elements of Mathematical Logic. Oxford (1963). |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Symmetric bi-derivations of UP(BCC)-algebras | Journal of Applied Non-Classical Logics | 2023 | ||
A Novel Study Based on Fuzzy p-Ideals of BCI-Algebras | Journal of Function Spaces |
| 2023 | |
On Implicative and Positive Implicative GE Algebras | Bulletin of the Section of Logic |
| 2023 | |
Pseudo subalgebras and pseudo filters in pseudo BE-algebras | AIMS Mathematics | 1 | 2023 | |
Spectral properties of cBCK-algebras | Algebra universalis |
| 1 | 2022 |