Results 271 to 280 of about 6,723,237 (315)

Theory Extension in ACL2(r)

Journal of Automated Reasoning, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ruben Gamboa, John R. Cowles
openaire   +2 more sources

Effectively extensible theories

Journal of Symbolic Logic, 1968
It is well known that Gödel's famous undecidability result may be viewed in the following strong form. Suppose we are given a specific presentation (i.e., a specific formulation in terms of axioms and rules of inference) of number theory. Then there exists an effective method which, when applied to a consistent axiomatizable extension of the theory ...
openaire   +1 more source

Extension of Theories

2022
From an atom to this universe, from a bowl of water to the cosmic ocean this constant is present everywhere. This constant is π ( periodicity of the tangent function). For tangent function we know that tan(tan-1(x))=x, but the expression tan(ntan-1(x)) looks very complicated but is actually an expression of the type polynomial divided by another ...
openaire   +1 more source

Tiersten's theory of thermoelectroelasticity: an extension

International Journal of Engineering Science, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kalpakidis, V. K., Massalas, C. V.
openaire   +1 more source

On finding extensions of default theories

1992
We study from the computational standpoint the problem of finding an extension of a given default theory, and extend previous results in three directions. We show that all default theories that have no odd cycles (in some precise sense) have an extension, which can he found efficiently.
Christos H. Papadimitriou, Martha Sideri
openaire   +2 more sources

The Theory of Extension

2015
This chapter explores the connections between Whitehead’s metaphysical theory and contemporary cosmology by examining his theory of extension. This involves the most general features of structure in the universe that are addressed in his later process ontology. The chapter also continues to explore the issue raised in chapter 4 concerning the emergence
openaire   +1 more source

Theory of Extensions

1986
In this chapter, we will develop the Brown-Douglas-Fillmore (BDF) theory of extensions, and the generalization due to Kasparov.
openaire   +1 more source

Extensions of the Theory

1976
The reality of the generalized theory in its development in Chapters 4 and 5 has been constrained by the several assumptions made.1 These assumptions are also characteristic of work done with the orthodox theory. The purpose of this chapter is to release some of those assumptions so that the implications of some specified disturbance for the output-mix,
openaire   +1 more source

Boundary extension: Findings and theories

Quarterly Journal of Experimental Psychology, 2010
A view of a scene is often remembered as containing information that might have been present just beyond the actual boundaries of that view, and this is referred to as boundary extension. Characteristics of the view (e.g., scene or nonscene; close-up or wide-angle; whether objects are cropped, static, or in motion, emotionally neutral or emotionally ...
Timothy L, Hubbard, Joanna L, Hutchison, Jon R, Courtney   +2 more
openaire   +2 more sources