The Theory of the Differential and Integral Calculus
John Forbes
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Natural deduction and sequent typed lambda calculus.”
The Theory of the Differential and Integral Calculus
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 -integral.
Markova, Andrea, Riečan, Beloslav (1996)
Novi Sad Journal of Mathematics
Similarity: