Calculus One

Calculus One is a massive open online course by Ohio State University on Coursera and YouTube. The course features over 25 hours of video and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1973-2017
01219732017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
C. I. Lewis invented modern modal logic as a theory of “strict implication” J. Over the classical propositional calculus one can… (More)
Is this relevant?
Review
2017
Review
2017
  • 2017
Similar ebooks with Contemporary Psychological Approaches To Depression Theory Research And Treatment : contemporary… (More)
Is this relevant?
2009
2009
We study ternary relational semantics for symmetric versions of the Lambek calculus with interaction principles due to Grishin… (More)
  • figure 1
Is this relevant?
2003
2003
G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to… (More)
Is this relevant?
Review
1996
Review
1996
This paper makes two generalisations of categorial calculus of discontinuity. In the rst we introduce unary modalities which… (More)
Is this relevant?
1994
1994
The polymorphic (or second-order) typed lambda calculus was invented by Jean-Yves Girard in 1971 11, 10], and independently… (More)
Is this relevant?
1994
1994
We pursue the perspective of Reiter that in the situation calculus one can formalize primitive, determinate actions with axioms… (More)
Is this relevant?
1973
1973
We shall now consider the structure of sentences and the ways in which sentences take values. The notions we are going to… (More)
  • figure 1
  • figure 2
Is this relevant?