zbMATH — the first resource for mathematics

An algebra related with a propositional calculus. (English) Zbl 0207.29304

03G25 Other algebras related to logic
Full Text: DOI
[1] K. Iseki: Algebraic formulations of propositional calculi. Proc. Japan Acad., 41, 803-807 (1965). · Zbl 0143.00603
[2] Y. Imai and K. Iselri: On axiom systems of propositional calculi. XIV. Proc. Japan Acad., 42, 19-22 (1966). · Zbl 0156.24812
[3] J. Lukasiewicz: Elements of Mathematical Logic. Oxford (1963). · Zbl 0126.00705
[4] A. N. Prior: Formal Logic. Oxford (1963). · Zbl 0067.24903
[5] B. Sobocinski: Axiomatization of a partial system of three value calculus of propositions. Jour, of Computing Systems., 1, 23-55 (1952). · Zbl 0049.29204
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.