Results 251 to 260 of about 97,752 (297)

Extending Horn clause theories by reflection principles

open access: yes
Stefania Costantini   +2 more
core   +1 more source

On reflection principles

open access: yesOn reflection principles
openaire  

Reflection principles in computational logic

open access: yesJournal of Logic and Computation, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonas Barklund   +3 more
core   +5 more sources

Higher order reflection principles

open access: yesJournal of Symbolic Logic, 1989
In [1] and [2] there is a development of a class theory, whose axioms were formulated by Bernays and based on a reflection principle. See [3]. These axioms are formulated in first order logic with ∈:(A1)Extensionality.(A2)Class specification. Ifϕis a formula andAis not free inϕ, thenNote that “xis a set“ can be written as “∃u(x∈u)”.(A3)Subsets.Note ...
MARSHALL, MV
openaire   +3 more sources

Seismic Reflection Principles—Basics

open access: yes, 2016
Seismic reflection events are caused by the impedance contrasts at layer interfaces having a minimum width (Fresnel Zone). Seismic studies to represent reliably the subsurface geology, require quality data, which depend on signal-to-noise ratio and resolution, the latter being the ability to image thin geologic features separately.
Niranjan C. Nanda
openaire   +2 more sources

On reflection principles supported on a finite set

open access: yesJournal of Mathematical Analysis and Applications, 2009
We investigate the existence of reflection formulas supported on a finite set. It is found that for solutions of the Laplace and Helmholtz equation there are no finitely supported reflection principles unless the support is a single point.
Restrepo López, Ricardo
exaly   +2 more sources

Home - About - Disclaimer - Privacy