Results 261 to 270 of about 226,250 (290)

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.
openaire   +1 more source

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

Journal of Automated Reasoning, 2009
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.
Piskac, Ruzica, de Moura, Leonardo, Bjørner, Nikolaj   +2 more
openaire   +1 more source

Logic of predicates with explicit substitutions

1996
We 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   +1 more source

Dataflow for logic program as substitution manipulator

Proceedings of the international symposium on Symbolic and algebraic computation, 1990
This paper shows a method of constructing a dataflow, which denotes the deductions of a logic program, by means of a sequence domain based on equivalence classes of substitutions. The dataflow involves fair merge functions to represent unions of atom subsets over a sequence domain, as well as functions as manipulations of unifiers for the deductions of
openaire   +1 more source

Substitution, Quantifiers and Identity in Modal Logic

2001
The categorical point of view in logic tries to understand the meaning of all the connectives and operators in a structural, conceptual way as opposed to the purely descriptive point of view. What is in question is the explanation of the linguistic phenomena that is not reduced to a mere description, say, of the logical laws that hold or do not hold in
openaire   +1 more source

Recent Advances in Enantioselective Pd-Catalyzed Allylic Substitution: From Design to Applications

Chemical Reviews, 2021
Oscar Pàmies, Jèssica Margalef, Santiago Cañellas   +2 more
exaly  

Substitution in Logic

Monist, 1905
openaire   +1 more source

Iridium-Catalyzed Asymmetric Allylic Substitution Reactions

Chemical Reviews, 2019
Qiang Cheng, Hang-Fei Tu, Chao Zheng
exaly  

An Analysis of Logical Substitution

American Journal of Mathematics, 1929
openaire   +1 more source

Enantioselective Copper-Catalyzed Conjugate Addition and Allylic Substitution Reactions

Chemical Reviews, 2008
Carsten Bolm
exaly