Results 261 to 270 of about 1,173,430 (270)
Some of the next articles are maybe not open access.
Model theoretic semantics for Demo
1992A useful 3-valued provability predicate Demos is defined, that can provably simulate non-classical logics and connectives (like autoepistemic logic and negation-as-failure) and that, despite its 3-valued semantics, is able to capture thoroughly classical notions of provability and unprovability.
openaire +3 more sources
1962
IN THIS Chapter we shall discuss the processes which can in principle lead to light emission from non-incandescent solids under electrical stimulation. The manner in which the various models are used for the interpretation of experimental results, and the extent of their success, will be illustrated in Chapters 3, 4 and 5.
openaire +2 more sources
IN THIS Chapter we shall discuss the processes which can in principle lead to light emission from non-incandescent solids under electrical stimulation. The manner in which the various models are used for the interpretation of experimental results, and the extent of their success, will be illustrated in Chapters 3, 4 and 5.
openaire +2 more sources
, 2017 Evaluation models and theoretical bias
American Journal of Psychiatry, 1978openaire +3 more sources