Results 251 to 260 of about 226,250 (290)
Some of the next articles are maybe not open access.
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 ...
openaire +4 more sources
Logic of proofs with substitution
Mathematical Notes, 2007The substitution operation in logic of proofs is axiomatized. For the system constructed, symbolic semantics is introduced and a completeness theorem is proved.
openaire +3 more sources
Let's Substitute Logic for Lament
AORN Journal, 1968“We just cannot find experienced operating room nurses anymore. There are no replacements for our present supply.” This often repeated lament is heard wherever operating room nurses assemble. One recognized and quickly identified reason for this lack of experienced operating room nurses is the trend in nursing education toward reducing or eliminating ...
openaire +2 more sources
Substitution inconsistencies in Transparent Intensional Logic
Journal of Applied Non-Classical Logics, 2021This paper presents several important results for Transparent Intensional Logic (TIL). The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...
openaire +1 more source
Belief, Substitution, and Logical Structure
Noûs, 1995How best are we to understand the significance-for a proper account of meaning and propositional attitude content-of the sorts of considerations to which Frege appeals in order to individuate Gedanken, considerations that reveal differences in the cognitive significance of different sentences?
openaire +1 more source
1998
Abstract 1905 was a watershed year for Russell. By its end he had developed an intensional calculus for the logic of propositions adequate to proxy a type regimented theory which employs predicate variables in subject as well as predicate positions. The theory affords a proxy for a theory of classes and relations-in-extension.
openaire +1 more source
Abstract 1905 was a watershed year for Russell. By its end he had developed an intensional calculus for the logic of propositions adequate to proxy a type regimented theory which employs predicate variables in subject as well as predicate positions. The theory affords a proxy for a theory of classes and relations-in-extension.
openaire +1 more source
Associative Substitutional Semantics and Quantified Modal Logic
Studia Logica, 2010For the semantical approach to quantified modal logic several philosophical problems have been discussed so far, particularly on the interpretation of objectual domains concerning, for instance, possibilia, trans-world identity, and so on. By surveying these problems, the author emphasizes that modal sentences are not to be understood referentially as ...
openaire +2 more sources
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 ...
openaire +1 more source
Symbolic Substitution Implemented By Spatial Filtering Logic
Optical Engineering, 1989Symbolic substitution is a method of performing parallel optical logic by recognition and substitution of structural elements. With spatial filtering it is possible to perform logic operations without an active logic gate. This paper describes how symbolic substitution can be implemented optically by use of spatial filtering.
Karl-Heinz Brenner +2 more
openaire +1 more source