Self-dual primitives for modal logic
- 1 December 1952
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 125 (1) , 284-286
- https://doi.org/10.1007/bf01343122
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Conditioned Disjunction as a primitive connective for them-valued Propositional CalculusMathematische Annalen, 1951
- Symbolic Logic. By C.I. Lewis and C.H. Langford. Pp. xi 506. 21s. 1932. (The Century Company, New York and London)The Mathematical Gazette, 1934