Results 281 to 290 of about 7,023 (306)
Some of the next articles are maybe not open access.
Structuring theories on consequence
1988Building on the work of Goguen and Burstall on institutions and on Tarski's notion of deductive system, a categorial framework for manipulating theories in an arbitrary logic is presented. Its main contribution is the formalisation of the semantics of theory-building operations on top of a consequence relation.
Fiadeiro, Jose, Sernadas, Amilcar
openaire +2 more sources
Physical Review, 1955
Die relativistischen Korrekturen für die in die HFS eingehenden Ein-Elektronen-Integrale werden normalerweise mit dem reinen Coulomb-Feld des Kerns berechnet. Abweichend wird in der vorliegenden Arbeit die Abschirmung des Leuchtelektrons durch die inneren Elektronen mittels eines ortsabhängigen Korrekturfaktors im Coulomb-Potential berücksichtigt.
openaire +3 more sources
Die relativistischen Korrekturen für die in die HFS eingehenden Ein-Elektronen-Integrale werden normalerweise mit dem reinen Coulomb-Feld des Kerns berechnet. Abweichend wird in der vorliegenden Arbeit die Abschirmung des Leuchtelektrons durch die inneren Elektronen mittels eines ortsabhängigen Korrekturfaktors im Coulomb-Potential berücksichtigt.
openaire +3 more sources
Knowledgebases as structured theories
1988According to the structural paradigm of knowledge representation, knowledgebases are built by organizing facts along the semantic primitives of a conceptual modelling approach. Previous work of the authors has shown how these organizational principles can be brought into the logical view of knowledge representation by defining mechanisms for developing
Fiadeiro, Jose +2 more
openaire +2 more sources
Theory of Dissipative Structures
1973One of the main reasons to develop thermodynamics beyond the equilibrium range lies in the need for a physico-chemical basis of biological order. Not only would one like to explain the maintenance of low entropy situations and subtle metabolic regulation processes but also one wants to provide a physico-chemical basis of evolution towards structures of
Prigogine, Ilya, Lefever, René
openaire +2 more sources
1984
A fundamental concept in categorical topology is that of a topological category. It has been discovered and rediscovered many times in different forms. A common feature of the various descriptions is that topological categories are concrete categories (A,U) over Set (or arbitrary base categories X).
openaire +2 more sources
A fundamental concept in categorical topology is that of a topological category. It has been discovered and rediscovered many times in different forms. A common feature of the various descriptions is that topological categories are concrete categories (A,U) over Set (or arbitrary base categories X).
openaire +2 more sources
Bulletin of the London Mathematical Society, 1987
The aim of this paper is to give an approach to Shelah's classification theory. The author has the sure hope that the ideas of classification theory will find good applications beyond the confines of model theory. So he discusses them in the form of pictures, sometimes rather vague, of how things ought to be. The paper is built around eleven ideas. The
openaire +2 more sources
The aim of this paper is to give an approach to Shelah's classification theory. The author has the sure hope that the ideas of classification theory will find good applications beyond the confines of model theory. So he discusses them in the form of pictures, sometimes rather vague, of how things ought to be. The paper is built around eleven ideas. The
openaire +2 more sources
A Structural Theory of Derivations
2018Operations which take in tuples of syntactic objects and assign them output syntactic objects are used to formalize the generative component of most formal grammars in the minimalist tradition. However, these models do not usually include information which relates the structure of the input and output objects explicitly.
openaire +3 more sources
The theory of nuclear structure
Journal of the Franklin Institute, 1939It seems appropriate to open this meeting with an attempt at a broad survey of what we think we know about nuclear structure, and of what are the most serious gaps in our knowledge.
openaire +1 more source
The Structure of Developmental Theory
1991This paper explores the thesis that any theory is generated out of a matrix of philosophical values. Evaluations of theories of development presuppose the acknowledgement that any theory emerges from an ontological and epistemological realist matrix, or, from an epistemological rationalist matrix.
openaire +2 more sources
FOUNDATIONS OF ONLINE STRUCTURE THEORY
The Bulletin of Symbolic Logic, 2019AbstractThe survey contains a detailed discussion of methods and results in the new emerging area of online “punctual” structure theory. We also state several open problems.
Nikolay Bazhenov 0001 +3 more
openaire +1 more source