J. C. C. McKinsey

Available identifiers

zbMath Open mckinsey.j-c-cWikidataQ966375 ScholiaQ966375MaRDI QIDQ2585739

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4427409	2003-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q3284269	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5818012	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5818013	1953-01-01	Paper
Systems of modal logic which are not unreasonable in the sense of Halldén	1953-01-01	Paper
Some notions and problems of game theory	1952-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5815902	1952-01-01	Paper
A simplifiction of games in extensive form	1951-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5801634	1950-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5787448	1949-01-01	Paper
On the Representation of Projective Algebras	1948-01-01	Paper
Some theorems about the sentential calculi of Lewis and Heyting	1948-01-01	Paper
Algebras and their subalgebras	1947-01-01	Paper
On closed elements in closure algebras	1946-01-01	Paper
On the syntactical construction of systems of modal logic	1945-01-01	Paper
The algebra of topology	1944-01-01	Paper
On the number of complete extensions of the Lewis systems of sentential calculus	1944-01-01	Paper
The decision problem for some classes of sentences without quantifiers	1943-01-01	Paper
A solution of the decision problem for the Lewis systems \(S2\) and \(S4\), with an application to topology.	1941-01-01	Paper
A correction to Lewis and Langford's ``Symbolic Logic.	1940-01-01	Paper
Proof that there are infinitely many modalities in Lewis's system \(S_2\).	1940-01-01	Paper
Postulates for the calculus of binary relations.	1940-01-01	Paper
Postulates for the calculus of binary relations	1940-01-01	Paper
Proof that there are infinitely many modalities in Lewis's system S2	1940-01-01	Paper
A correction to Lewis and Langford's Symbolic logic	1940-01-01	Paper
Practical mathematics. 2. Aufl. durchges. d. J. R. Dalzell.	1940-01-01	Paper
A note on Reichenbach's axioms for probability implication.	1939-01-01	Paper
Proof of the independence of the primitive symbols of Heyting's calculus of propositions.	1939-01-01	Paper
Proof of the independence of the primitive symbols of Heyting's calculus of propositions	1939-01-01	Paper
A note on Reichenbach’s axioms for probability implication	1939-01-01	Paper
A set of postulates for Boolean algebra.	1937-01-01	Paper
A condition that a first Boolean function vanish whenever a second does not.	1937-01-01	Paper
A set of postulates for Boolean algebra	1937-01-01	Paper
A condition that a first Boolean function vanish whenever a second does not	1937-01-01	Paper
Reducible Boolean functions.	1936-01-01	Paper
Boolean functions and points.	1936-01-01	Paper
On the independence of Hilbert and Ackermann's postulates for the calculus of propositional functions.	1936-01-01	Paper
On Boolean functions of \(n\) variables.	1936-01-01	Paper
On the generation of the functions \(C_{pq}\) and \(N_p\) of Lukasiewicz and Tarski by means of a single binary operation.	1936-01-01	Paper
On Boolean functions of many variables.	1936-01-01	Paper
Boolean functions and points	1936-01-01	Paper
On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions	1936-01-01	Paper
Reducible Boolean functions	1936-01-01	Paper
On Boolean Functions of Many Variables	1936-01-01	Paper
On the generation of the functions 𝐶_{𝑝}𝑞 and 𝑁_{𝑝} of Lukasiewicz and Tarski by means of a single binary operation	1936-01-01	Paper
On the independence of undefined ideas.	1935-01-01	Paper
On the independence of undefined ideas	1935-01-01	Paper
A reduction in number of the postulates for C. I. Lewis' system of strict implication.	1934-01-01	Paper
A reduction in number of the postulates for C. I. Lewis’ system of strict implication	1934-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: J. C. C. McKinsey