Gene F. Rose | Researchain

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Gene F. Rose is active.

Explore More

Publication

Featured researches published by Gene F. Rose.

Journal of Symbolic Logic | 1955

Jan Kalicki. An undecidable problem in the algebra of truth-tables. The journal of symbolic logic , vol. 19 (1954), pp. 172–176.

Gene F. Rose

Journal of Symbolic Logic | 1974

Review: Alan Rose, The Degree of Completeness of the

Gene F. Rose

Journal of Symbolic Logic | 1974

m

Gene F. Rose

Journal of Symbolic Logic | 1973

-Valued Lukasiewicz Propositional Calculus, Correction and Addendum

Gene F. Rose

Journal of Symbolic Logic | 1973

Rose Alan. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 (1969), pp. 587–591.

Gene F. Rose

Journal of Symbolic Logic | 1972

Čulík Karel II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika (Prague), vol. 6 (1970), pp. 99–117.

Gene F. Rose

Journal of Symbolic Logic | 1970

Review: Karel Culik II, N-Ary Grammars and the Descriptions of Mapping of Languages

Gene F. Rose

Journal of Symbolic Logic | 1970

Review: F. A. Kabakov, M. Machover, On Modelling of Pseudo-Boolean Algebras by Realizability

Gene F. Rose

Journal of Symbolic Logic | 1970

Review: Karl Schroter, Uber den Zusammenhang der Implikationsaxiomen Vollstandiger Axiomensysteme des Zweiwertigen mit denen des Intuitionistischen Aussagenkalkuls; Karl Schroter, Eine Umformung des Heytingschen Axiomensystems fur den Intuitionistischen Aussagenkalkul

Gene F. Rose

Journal of Symbolic Logic | 1970

Review: V. A. Jankov, Sue Walker, Some Superconstructive Propositional Calculi; V. A. Jankov, Elliott Mendelson, Realizable formulas of Propositional Logic; V. A. Jankov, Elliott Mendelson, The Relationship Between Deducibility in the Intuitionist Propositional calculus and Finite Implicational Structures

Gene F. Rose; V. A. Jankov; Sue Walker; Elliott Mendelson

Explore More

Collaboration

Dive into the Gene F. Rose's collaboration.

Explore More

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot

Dive into the research topics where Gene F. Rose is active.

Publication

Featured researches published by Gene F. Rose.

Jan Kalicki. An undecidable problem in the algebra of truth-tables. The journal of symbolic logic , vol. 19 (1954), pp. 172–176.

Review: Alan Rose, The Degree of Completeness of the

m

-Valued Lukasiewicz Propositional Calculus, Correction and Addendum

Rose Alan. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 (1969), pp. 587–591.

Čulík Karel II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika (Prague), vol. 6 (1970), pp. 99–117.

Review: Karel Culik II, N-Ary Grammars and the Descriptions of Mapping of Languages

Review: F. A. Kabakov, M. Machover, On Modelling of Pseudo-Boolean Algebras by Realizability

Review: Karl Schroter, Uber den Zusammenhang der Implikationsaxiomen Vollstandiger Axiomensysteme des Zweiwertigen mit denen des Intuitionistischen Aussagenkalkuls; Karl Schroter, Eine Umformung des Heytingschen Axiomensystems fur den Intuitionistischen Aussagenkalkul

Collaboration

Dive into the Gene F. Rose's collaboration.