Natural deduction and sequent typed lambda calculus.

Ghilezan, Silvia

Displaying similar documents to “Natural deduction and sequent typed lambda calculus.”

The Theory of the Differential and Integral Calculus

John Forbes

Similarity:

The Neg.-propositional Calculus

Milan Tasić (1991)

Publications de l'Institut Mathématique

Similarity:

An Elementary Treatise on the Integral Calculus

Benjamin Williamson

Similarity:

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

Wojciech Buszkowski (2017)

Bulletin of the Section of Logic

Similarity:

In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL). Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.

Integral Calculus, and Calculus of Variations Vol. II

Bartholomew Price

Similarity:

A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements

Tomáš Havránek (1974)

Kybernetika

Similarity:

A Treatise on Isoperimetrical Problems, and the Calculus of Variations

Robert Woodhouse

Similarity:

On the double $g$ -integral.

Markova, Andrea, Riečan, Beloslav (1996)

Novi Sad Journal of Mathematics

Similarity: