Results 271 to 280 of about 1,114,115 (315)
Some of the next articles are maybe not open access.
The Structure of a Semantic Theory
Language, 1963This paper does not attempt to present a semantic theory of a natural language, but rather to characterize the form of such a theory. A semantic theory of a natural language is part of a linguistic description of that language. Our problem, on the other hand, is part of the general theory of language, fully on a par with the problem of characterizing ...
Katz, J., Fodor, J.
openaire +2 more sources
Physical Review Letters, 1993
The structures of nine phases of ice are described as the result of ordering and displacive mechanisms from a common parent disordered body centered cubic structure possessing different fractional concentrations of water ...
, Dmitriev, , Rochal, , Toledano
openaire +2 more sources
The structures of nine phases of ice are described as the result of ordering and displacive mechanisms from a common parent disordered body centered cubic structure possessing different fractional concentrations of water ...
, Dmitriev, , Rochal, , Toledano
openaire +2 more sources
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