On the independence of undefined ideas von McKinsey, J. C. C.

Volltext

Some theorems about the sentential calculi of Lewis and Heyting von McKinsey, J. C. C., Tarski, Alfred

Volltext

Systems of modal logic which are not unreasonable in the sense of Halldén von McKinsey, J. C. C.

Volltext

On the syntactical construction of systems of modal logic von Mckinsey, J. C. C.

Volltext

On the number of complete extensions of the Lewis systems of sentential calculus von McKinsey, J. C. C.

Volltext

Seventh Meeting of the association for Symbolic Logic von Mckinsey, J. C. C.

Volltext

A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology von McKinsey, J. C. C.

Volltext

A correction to Lewis and Langford's Symbolic logic von McKinsey, J. C. C.

Volltext

Postulates for the calculus of binary relations von McKinsey, J. C. C.

Volltext

Proof of the independence of the primitive symbols of Heyting's calculus of propositions von McKinsey, J. C. C.

Volltext

Trial of a Paclitaxel-Coated Balloon for Femoropopliteal Artery Disease von Rosenfield, Kenneth, Jaff, Michael R, White, Christopher J, Rocha-Singh, Krishna, Mena-Hurtado, Carlos, Metzger, D. Christopher, Brodmann, Marianne, Pilger, Ernst, Zeller, Thomas, Krishnan, Prakash, Gammon, Roger, Müller-Hülsbeck, Stefan, Nehler, Mark R, Benenati, James F, Scheinert, Dierk

Volltext

The decision problem for some classes of sentences without quantifiers von McKinsey, J. C. C.

Volltext

Outlines of a Formal Theory of Value, I von Davidson, Donald, McKinsey, J. C. C., Suppes, Patrick

Volltext

Reducible Boolean functions von McKinsey, J. C. C.

Volltext

A reduction in number of the postulates for C. I. Lewis’ system of strict implication von McKinsey, J. C. C.

Volltext

A condition that a first Boolean function vanish whenever a second does not von McKinsey, J. C. C.

Volltext

Search for light dark matter in XENON10 data von Angle, J, Aprile, E, Arneodo, F, Baudis, L, Bernstein, A, Bolozdynya, A I, Coelho, L C C, Dahl, C E, DeViveiros, L, Ferella, A D, Fernandes, L M P, Fiorucci, S, Gaitskell, R J, Giboni, K L, Gomez, R, Hasty, R, Kastens, L, Kwong, J, Lopes, J A M, Madden, N, Manalaysay, A, Manzur, A, McKinsey, D N, Monzani, M E, Ni, K, Oberlack, U, Orboeck, J, Plante, G, Santorelli, R, dos Santos, J M F, Schulte, S, Shagin, P, Shutt, T, Sorensen, P, Winant, C, Yamashita, M

Volltext

A New Definition of Truth von McKinsey, J. C. C.

Volltext

The Decision Problem for Some Classes of Sentences Without Quantifiers von McKinsey, J. C. C.

Volltext