Results 261 to 270 of about 59,882 (275)
Some of the next articles are maybe not open access.
A program logic with quantifiable propositional variables
1985In the paper an extension of propositional program logics is given, obtained by introducing quantifiers binding propositional variables. The complete axiomatization of the logic is provided. The problems are discussed of definability of sets of states of programs and distinguishability of states by means of the formulas of the logic.
openaire +2 more sources
A Set of Independent Postulates For Propositional Functions of one Variable
The Annals of Mathematics, 1935The following calculus of propositions is based in its essentials upon that given in Principia Mathematica *10. But it differs from the latter in several important respects. The primitive propositions of Principia are not completely formalised, for they contain such words as "proposition," "function," etc., which refer to the meaning of the symbolism ...
openaire +1 more source
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability
2011We use a finite state (FSA) construction approach to address the problem of propositional satisfiability (SAT). We use a very simple translation from formulas in conjunctive normal form (CNF) to regular expressions and use regular expressions to construct an FSA.
José M. Castaño, Rodrigo Castaño
openaire +1 more source
SOME PROPOSITIONAL CALCULI WITH CONSTANT AND VARIABLE FUNCTORS
Mathematical Logic Quarterly, 1984openaire +1 more source
Formalisations of Certain Propositional Calculi with Partially Variable Functors
Mathematical Logic Quarterly, 1965openaire +2 more sources
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
Mathematical Logic Quarterly, 1972openaire +1 more source
The principle of separation of variables in propositional logics
Algebra and Logic, 1976openaire +2 more sources