Results 231 to 240 of about 1,009,527 (289)
Some of the next articles are maybe not open access.
NORMAL DERIVATIONS AND SEQUENT DERIVATIONS
Journal of Philosophical Logic, 2008Normal 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
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
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 Varieties and Derived Equational Theories
International Journal of Algebra and Computation, 1998This paper describes a derivation process for varieties and equational theories using the theory of hypersubstitutions and M-hyperidentities. A hypersubstitution σ of type τ is a map which takes each n-ary operation symbol of the type to an n-ary term of this type.
Denecke, Klaus-Dieter +2 more
openaire +3 more sources
Derived Equivalences As Derived Functors
Journal of the London Mathematical Society, 1991In [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
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
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
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
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
Carbon-Based MOF Derivatives: Emerging Efficient Electromagnetic Wave Absorption Agents
Nano-Micro Letters, 2021Zhou Wang, Fenglong Wang, Lili Wu
exaly
Sustainable Cellulose and Its Derivatives for Promising Biomedical Applications
Progress in Materials Science, 2023Haipeng Yu, Dawei Zhao, Wenshuai Chen
exaly