Results 281 to 290 of about 2,250,044 (344)

New implementation of symbolic substitution logic.

Applied Optics, 1986
Symbolic 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   +3 more sources

Substitution Logic: An Extension of Syllogism

The Philosophical Forum, 2019
I 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   +2 more sources

Substitution and Truth in Quantum Logic

Philosophy of Science, 1982
If 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   +2 more sources

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

Journal of Automated Reasoning, 2008
This paper introduces a DPLL calculus that is a decision procedure for the Bernays-Schönfinkel class, also called EPR. This class of first-order formulas provides a generalization of pure propositional satisfiablility and quantified Boolean formulas.
R. Piskac, L. D. Moura, Nikolaj S. Bjørner   +2 more
semanticscholar   +2 more sources

Symbolic Substitution Implemented By Spatial Filtering Logic

Optical Engineering, 1989
Symbolic 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.
K. Brenner, A. Lohmann, T. Merklein
semanticscholar   +2 more sources

Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits

Italian Conference on Computational Logic, 2023
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   +1 more source

Power, Control, and the Logic of Substitution in Institutional Design: The Case of International Climate Finance

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

2D Reconfigurable van der Waals Heterojunction for Logic Gate Circuits and Wide-Spectrum Photodetectors via Sulfur Substitution and Band Matching.

ACS Applied Materials and Interfaces
The attractive physical properties of two-dimensional (2D) semiconductors in group IVA-VIA have been fully revealed in recent years. Combining them with 2D ambipolar materials to construct van der Waals heterojunctions (vdWHs) can offer tremendous ...
Jianru Chen, Jianming Huang, Tao Zheng, Mengmeng Yang, Shengdi Chen, Jingyi Ma, Liang Jian, Yuan Pan, Zhaoqiang Zheng, Nengjie Huo, Wei Gao, Jingbo Li   +11 more
semanticscholar   +1 more source

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

Defect‐Engineered Atomically Thin MoS2 Homogeneous Electronics for Logic Inverters

Advances in Materials, 2019
Ultrathin 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 ...
Li Gao, Qingliang Liao, Xiankun Zhang, Xiaozhi Liu, L. Gu, Baishan Liu, Junli Du, Yang Ou, Jiankun Xiao, Z. Kang, Zheng Zhang, Yue Zhang   +11 more
semanticscholar   +1 more source