Results 101 to 110 of about 3,525 (163)
Decrease and recovery of integrated information Φ during anesthesia and sleep on human functional magnetic resonance imaging. [PDF]
Neurosci ConsciousOnoda K, Miyauchi S, Kan S, Akama H.
europepmc +1 more source
Requirements and Barriers for Human-Centered SMEs. [PDF]
Sensors (Basel)Nazarejova J, Soltysova Z, Rudeichuk T.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Synthese, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Analytic-Synthetic Method and Axiomatic Method
Synthese Library, 2022Cellucci Carlo
openaire +3 more sources
The Axiomatic Method in Biology.
The Journal of Philosophy, 1938DR. WOODGER'S book is an attempt to do for a part of biology what Whitehead and Russell, in “Principia Mathematica”, did for mathematics. Starting from as small a number as possible of axioms and undefined terms, he proposes to deduce known biological generalizations, and to discover new ones by pure deduction. For this purpose he uses a special set of
Kurt Edward Rosinger +3 more
+4 more sources
Hilbert's axiomatic method and Carnap's general axiomatics
Studies in History and Philosophy of Science Part A, 2015This paper compares the axiomatic method of David Hilbert and his school with Rudolf Carnap's general axiomatics that was developed in the late 1920s, and that influenced his understanding of logic of science throughout the 1930s, when his logical pluralism developed.
openaire +2 more sources
A method of axiomatization of Łukasiewicz logics
Studia Logica, 1974By the language of Lukasiewicz logics we understand the algebra of formulas L = 〈L,→,∼〉. The μ-valued Lukasiwicz matrix 〈Aμ, {1}〉, μ = 2, 3, . . ., א0, (cf. [1]), will be denoted here by Mμ. Lμ = R(Mμ) is the set of tautologies of Mμ and is called the μ-valued Lukasiewicz system. All the unexplained notation in this text will come from Wojcicki’s paper
openaire +2 more sources
On a Method of Axiomatization of Some Propositional Calculi
Mathematical Logic Quarterly, 1987In this paper a simple method is given for the finite axiomatization of some propositional logics determined by finite matrices. Particular examples of such logics are the finite valued \({\L}ukasiewicz\) logics, modal logics containing S4, and intermediate logics in versions with various connectives.
openaire +2 more sources
1965
If the object of which knowledge is acquired is not given directly it has to be known through some other object, i.e. indirectly. Since the object is a state of affairs, and this itself is expressed in a sentence, every indirect acquisition of knowledge proceeds by inference from one sentence to another or by the derivation of the second sentence from ...
openaire +1 more source
If the object of which knowledge is acquired is not given directly it has to be known through some other object, i.e. indirectly. Since the object is a state of affairs, and this itself is expressed in a sentence, every indirect acquisition of knowledge proceeds by inference from one sentence to another or by the derivation of the second sentence from ...
openaire +1 more source