Results 251 to 260 of about 5,311,848 (309)

NORMAL DERIVATIONS AND SEQUENT DERIVATIONS

Journal of Philosophical Logic, 2008
Normal proofs in natural deduction systems for intuitionistic logic roughly correspond to cut-free sequent derivations. This article elaborates on this correspondence. First, a system \(\mathcal{N}\) for natural deductions and a system \(\mathcal{S}\) for sequent derivations are introduced.
openaire   +1 more source

On derivability

Journal of Symbolic Logic, 1937
1. The notion of derivability. Italic capitals, with or without subscripts, will be used as variables. They are to take as values some manner of elements which may for the present be left undetermined. Now let us consider abstractly the notion of the derivability of an element X from one or more specified elements by a series of steps of a specified ...
openaire   +1 more source

Derived Equivalences As Derived Functors

Journal of the London Mathematical Society, 1991
In [J. Lond. Math. Soc., II. Ser. 39, No.3, 436-456 (1989; Zbl 0642.16034)], we proved that two algebras \(\Lambda\) and \(\Gamma\) are ``derived equivalent'', meaning that the derived category of modules for \(\Lambda\) is equivalent to that for \(\Gamma\), precisely when \(\Gamma\) is isomorphic to the endomorphism ring of what we called a ``tilting ...
openaire   +2 more sources

Generalized Derivatives

Fundamenta Informaticae, 1993
The customary language-theoretic derivative of a word u with respect to a word v means the deletion of v from the beginning or end of u. We investigate the natural generalization, where v can be deleted from an arbitrary position in u. Apart from general closure and decidability properties, we pay special attention to regular languages, obtaining an ...
openaire   +2 more sources

Derivatives and Derivative Markets

2006
In this chapter we introduce readers to the nuts and bolts of derivatives. The objective is, however, different from that found in an introductory finance textbook. There are now many good texts on derivatives, explaining how they are priced and strategies for trading them. There is no point in repeating that content. Rather, this chapter seeks to show
Dick Bryan, Michael Rafferty
openaire   +1 more source

Values and Derivatives

Mathematics of Operations Research, 1980
The diagonal formula in the theory of nonatomic games expresses the idea that the Shapley value of each infinitesimal player is his marginal contribution to the worth of a “perfect sample” of the population of all players, when averaged over all possible sample sizes.
openaire   +2 more sources

Constraints on Derivations

Grammars, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

DERIVATIONS ON MORITA RINGS AND GENERALIZED DERIVATIONS

Journal of Algebra and Its Applications, 2011
In this note, derivations on Morita rings (generalized matrix rings) are introduced and generalized derivations on rings are proved to be Morita invariant without involvement of any homology theory.
Al-Nofayee, S., Nauman, S. K.
openaire   +2 more sources

The Derivative and Higher Derivatives

2007
The derivative of a function, even if it exist everywhere, can be discontinuous. For example, if \(f\left( x \right) = {x^2}\sin \frac{1}{x}\), for x ≠ 0, f(0) = 0, then for x ≠ 0, \(f'\left( x \right) = - \cos \frac{1}{x} + 2x\sin \frac{1}{x}\), which does not tend to any limit as x tends to 0, although f′(0) exists and equals 0, as may be easily ...
A. R. Rajwade, A. K. Bhandari
openaire   +1 more source

Derivability

Reports Math. Log., 1999
Man betrachtet die Ableitbarkeit im klassischen Prädikatenkalkül durch irgendein \(\langle R,X\rangle\), wobei \(X\) eine Menge von Formeln ist, die als Axiome betrachtet werden, und \(R\) eine Menge von Ableitungsregeln ist. Bei fixierten \(\langle R,X\rangle\) soll für eine beliebige Regelmenge \(r\) der Ausdruck \(r\in\text{Der}(R,X)\) bedeuten ...
openaire   +2 more sources