Results 271 to 280 of about 2,196,068 (340)
Tunable cell differentiation via reprogrammed mating-type switching. [PDF]
Heng YC+4 more
europepmc +1 more source
Optimized fuzzy logic and sliding mode control for stability and disturbance rejection in rotary inverted pendulum. [PDF]
Nguyen TV, Dao QT, Bui NT.
europepmc +1 more source
Identification and Validation of a Previously Missed Mutational Signature in Colorectal Cancer
Kazachkova M+9 more
europepmc +1 more source
Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits
We define a model of predicate logic in which every term and predicate, open or closed, has an absolute denotation independently of a valuation of the variables. For each variable a, the domain of the model contains an element JaK which is the denotation
Gilles Dowek, M. Gabbay
semanticscholar +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Substitution Logic: An Extension of Syllogism
The Philosophical Forum, 2019I examine the theoretical difficulties of Aristotle’s syllogism and the traditional syllogism. I propose a more unified ordinary thinking logic different from the syllogism. I show that the new logic based on the substitution of thinking elements can be used to describe the reasoning process of human minds more properly, bypassing rigid figures, moods ...
Lei Ma
semanticscholar +3 more sources
New implementation of symbolic substitution logic.
Applied Optics, 1986Symbolic substitution is a spatial logic for digital optical computers that utilizes the specific advantages of optical signal processing. Previous implementations used the optical intensity for coding the binary values. In this implementation we are using polarization for coding, and we show how a complete recognition–substitution processor can be ...
K. Brenner
semanticscholar +4 more sources