Results 281 to 290 of about 2,196,068 (340)
Some of the next articles are maybe not open access.
Substitution and Truth in Quantum Logic
Philosophy of Science, 1982If p(x1, …, xn) and q(x1 …, xn) are two logically equivalent propositions then p(π(x1), …, π(xn)) and q(π(x1), …,π(xn)) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x1, …, xn. In Quantum Logic the invariance of logical equivalences breaks down.
I. Pitowsky
semanticscholar +3 more sources
International Organization, 2020
How do powerful states control international organizations (IOs)? In contrast to the conventional wisdom that treats weighted voting rules as the primary means that powerful states use to codify their asymmetric control in institutional design, we ...
Erin R. Graham, Alexandria Serdaru
semanticscholar +1 more source
How do powerful states control international organizations (IOs)? In contrast to the conventional wisdom that treats weighted voting rules as the primary means that powerful states use to codify their asymmetric control in institutional design, we ...
Erin R. Graham, Alexandria Serdaru
semanticscholar +1 more source
Models for the substitution axiom of UNITY logic
Information Processing Letters, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Reichwein, G., Fiadeiro, JoseLuiz
openaire +2 more sources
Defect‐Engineered Atomically Thin MoS2 Homogeneous Electronics for Logic Inverters
Advances in Materials, 2019Ultrathin molybdenum disulfide (MoS2) presents ideal properties for building next‐generation atomically thin circuitry. However, it is difficult to construct logic units of MoS2 monolayer using traditional silicon‐based doping schemes, such as atomic ...
L. Gao +11 more
semanticscholar +1 more source
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 +2 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 +3 more sources
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 +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 +2 more sources
Program-substitution and admissibility of rules in algorithmic logic [PDF]
Acta Informatica, 1988 We show a point of view upon the notions of program-substitution and admissibility of rules which are the tools for proving properties of programs of algorithmic logic and algorithmic logic with non- deterministic programs. The set of theses of algorithmic logic is closed under each program-substitution.
openaire +2 more sources
Logic of predicates with explicit substitutions
1996We present a non-commutative linear logic — the logic of predicates with equality and explicit substitutions. Thus, the position of linear logic with respect to the usual logic is given a new explanation.
openaire +2 more sources