Matrix Development of the Calculus of Relations.
Some Theorems About the Sentential Calculi of Lewis and Heyting.
A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1.
Corrections to Two Papers on Modal Logic.
Proofs of Non-Deducibility in Intuitionistic Functional Calculus.
DBLP : dblp-publications-1948.rdf
This ontology contains information detailing publications from dblp
Tenth Meeting of the Association for Symbolic Logic.
A System of Axiomatic Set Theory--Part VI.
Contextual Definitions in Nonextensional Languages.
A Problem Concerning the Notion of Definability.
Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.