Alan Rose

Follow

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