A Functional calculus of first order based on strict implication

DOI: 10.2307/2269159

Journal of Symbolic Logic

Data up to Jan 2025

Published1946

Citations408

References3

Fields

Mathematics Computer science Medicine Economics Pure mathematics Artificial intelligence Dentistry

Total Citations Per Year

Abstract

References (3)

Introduction to Mathematical Logic.

1957 • 937 citations

Introduction to Mathematical Logic

1987 • 553 citations

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

1934 • 14 citations

Cited By (0)

No citing papers found in database

A Functional calculus of first order based on strict implication (1946) – Journal of Symbolic Logic | Metascience Observatory Explorer