Results 141 to 150 of about 58,074 (157)

The principle of separation of variables in propositional logics

Algebra and Logic, 1976
openaire   +3 more sources

A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables

Mathematical Logic Quarterly, 1976
openaire   +2 more sources

SOME PROPOSITIONAL CALCULI WITH CONSTANT AND VARIABLE FUNCTORS

Mathematical Logic Quarterly, 1984
openaire   +2 more sources

Formalisations of Certain Propositional Calculi with Partially Variable Functors

Mathematical Logic Quarterly, 1965
openaire   +3 more sources

A Formalisation of The χ₀‐Valued ŁUkasiewicz Implicational Propositional Calculus With Variable Functors

, 1967
Alan G. Rose
openalex   +1 more source

A Formalisation of The χ₀‐Valued ŁUkasiewicz Propositional Calculus With Variable Functors

, 1967
Alan Rose
openalex   +1 more source

Alan Rose. A formalisation of the ℵ₀-valued Łukasiewicz implicational propositional calculus with variable functors.Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294.

, 1970
Bruno Scarpellini
openalex   +1 more source

Propositional logic in informatics students: an experimental study of its relationship with control of variables and proportion schemata

, 1989
Claudia Dell’Aquila, M. Di Gennaro, V. Picciarelli, R. Stella   +3 more
openalex   +1 more source

Using propositions from clinical interviews as variables to compare student knowledge

, 1984
Fred N. Finley
openalex   +1 more source

A propositional logic of Boolean recursive programs in which predicate variables appear in conditions

, 1990
A. L. Rastsvetaev
openalex   +1 more source