Concepedia

A Functional calculus of first order based on strict implication

Ruth C. Barcan

Journal of Symbolic Logic · 1946 · 414 citations · 2 references

DOI

Concepts

Abstract

The following system is an extension of the Lewis calculus S2 to include quantification.

References

2

Introduction to Mathematical Logic.

Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations

, , +15

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

J. C. C. McKinsey · Bulletin of the American Mathematical Society · 1934 · 15 citations · Full text

, , +7