Projects
Reading
People
Chat
SU\G
(đž)
/K·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
Alan Rose
Follow
Share
Generating author description...
All published works
Action
Title
Year
Authors
+
Ideals in (m, m+1) - semilattice
2019
M. Velrajan
Alan Rose
+
A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS
1984
B.J. Lowesmith
Alan Rose
+
SCOMPLETENESS OF SETS OF THREEâVALUED SHEFFER FUNCTION
1983
Alan Rose
+
Formalisations of further â”<sub>0</sub>-valued Ćukasiewicz propositional calculi
1978
Alan Rose
+
A ThreeâValued Model for Set Theory
1978
Alan Rose
+
A note on the existence of tautologies without constants
1975
Alan Rose
+
Locally Full Ï<sub>0</sub>âValued Propositional Calculi
1972
Alan Rose
+
Extensions of Some Theorems of Schmidt and McKinsey, I.
1971
Ann S. Ferebee
Alan Rose
+
MATHEMATICAL LOGIC. A FIRST COURSE
1971
Alan Rose
+
Some manyâvalued propositional calculi without single generators
1969
Alan Rose
+
SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2âVALUED PROPOSITIONAL CALCULUS
1969
Alan Rose
+
PDF
Chat
The Degree of Completeness of the <i>m</i> -Valued Ćukasiewicz Propositional Calculus
1969
Alan Rose
+
Review: R. K. Meyer, Pure Denumerable Lukasiewiczian Implication
1968
Alan Rose
+
Formalisations of Certain Propositional Calculi with Partially Variable Functors
1965
Alan Rose
+
Review: Louise Schmir Hay, Axiomatization of the Infinite-Valued Predicate Calculus
1964
Alan Rose
+
ELEMENTS OF MATHEMATICAL LOGIC
1964
Alan Rose
+
Review: Karl Schroter, Deduktiv Abgeschlossene Mengen ohne Basis
1957
Alan Rose
+
Karl Schröter. Deduktiv abgeschlossene Mengen ohne Basis. Mathematische Nachrichten, vol. 7 (1952), pp. 293â304.
1957
Alan Rose
+
Les Fondements Logiques des Mathematiques.
1952
Alan Rose
Elodie Beth
+
Eight-Valued Geometry
1952
Alan Rose
+
The Degree of Completeness of the <i>M</i> -Valued Ćukasiewicz Propositional Calculus
1952
Alan Rose
+
A New Proof of a Theorem of Dienes.
1951
Nicholas Rescher
Alan Rose
+
2234. An analogue of Ceva's Theorem
1951
Alan Rose
+
Review: Soren Hallden, A Reduction of the Primitive Symbols of the Lewis Calculi
1951
Alan Rose
+
The Degree of Completeness of some ĆUkasiewicztarski Propositional Calculi
1951
Alan Rose
+
On the use of a complex (Quaternion) velocity potential in three dimensions
1950
Alan Rose
+
A Lattice-Theoretic Characterisation of Three-Valued Logic
1950
Alan Rose
+
Completeness of ?ukasiewicz-Tarski propositional calculi
1950
Alan Rose
Common Coauthors
Coauthor
Papers Together
Ann S. Ferebee
1
Elodie Beth
1
Nicholas Rescher
1
B.J. Lowesmith
1
M. Velrajan
1
Commonly Cited References
Action
Title
Year
Authors
# of times referenced
+
Introduction to a General Theory of Elementary Propositions
1921
Emil L. Post
2
+
PDF
Chat
Proof of an axiom of Ćukasiewicz
1958
C. C. Chang
1
+
PDF
Chat
Completeness in finite algebras with a single operation
1967
G. S. Rousseau
1
+
Die Funktionentheorie der Differentialgleichungen? u=0 und?? u=0 mit vier reellen Variablen
1934
Run Fueter
1
+
Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation
1936
Donald Loomis Webb
1