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)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Tadeusz Litak, Albert Visser
- ArXiv
- 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

- Natasha Kurtonina, Michael Moortgat
- MOL
- 2009

We study ternary relational semantics for symmetric versions of the Lambek calculus with interaction principles due to Grishin… (More)

Is this relevant?

2003

2003

- Vladimiro Sassone, Pawel Sobocinski
- FoSSaCS
- 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

- Glyn Morrill
- 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

- John C. Reynolds
- 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

- Fangzhen Lin
- 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

- Petr Hájek
- Kybernetika
- 1973

We shall now consider the structure of sentences and the ways in which sentences take values. The notions we are going to… (More)

Is this relevant?