Ivo Thomas - RankMe

37 papers Journal 37

Year	Rank	Type	Title / Venue / Authors
1976	J	`jnl`	Axiom sets equivalent to syllogism and Peirce. Notre Dame J. Formal Log. Ivo Thomas
1976	J	`jnl`	One dimension in PS and PSI. Notre Dame J. Formal Log. Ivo Thomas
1975	J	`jnl`	Nice implicational axioms. Notre Dame J. Formal Log. Ivo Thomas
1975	J	`jnl`	Shorter development of an axiom. Notre Dame J. Formal Log. Ivo Thomas
1975	J	`jnl`	Simple implicational development. Notre Dame J. Formal Log. Ivo Thomas
1974	J	`jnl`	On Meredith's sole positive axiom. Notre Dame J. Formal Log. Ivo Thomas
1974	J	`jnl`	On a passage of Aristotle. Notre Dame J. Formal Log. Ivo Thomas
1973	J	`jnl`	Further extensions of $S3^\ast$. Notre Dame J. Formal Log. Ivo Thomas
1973	J	`jnl`	Unusual feature of $S3^\ast$. Notre Dame J. Formal Log. Ivo Thomas
1971	J	`jnl`	A proof of a theorem of Łukasiewicz. Notre Dame J. Formal Log. Ivo Thomas
1971	J	`jnl`	In memoriam A. N. Prior (1914-1969). Notre Dame J. Formal Log. Ivo Thomas
1970	J	`jnl`	Final word on a shortest implicational axiom. Notre Dame J. Formal Log. Ivo Thomas
1968	J	`jnl`	In memoriam: Edward John Lemmon (1930 - 1966). Notre Dame J. Formal Log. Ivo Thomas
1968	J	`jnl`	Replacement in Some Modal Systems. J. Symb. Log. Ivo Thomas
1968	J	`jnl`	The rule of Peirce. Notre Dame J. Formal Log. Ivo Thomas
1967	J	`jnl`	A theorem on S4.2 and S4.4. Notre Dame J. Formal Log. Ivo Thomas
1967	J	`jnl`	Decision for K4. Notre Dame J. Formal Log. Ivo Thomas
1967	J	`jnl`	Three-valued propositional fragments with classical implication. Notre Dame J. Formal Log. Ivo Thomas
1965	J	`jnl`	The written liar and Thomas Oliver. Notre Dame J. Formal Log. Ivo Thomas
1964	J	`jnl`	A note on self-referential statements. Notre Dame J. Formal Log. Ivo Thomas
1964	J	`jnl`	Decision procedures for S2 Notre Dame J. Formal Log. Ivo Thomas
1964	J	`jnl`	Modal systems in the neighbourhood of T. Notre Dame J. Formal Log. Ivo Thomas
1964	J	`jnl`	Ten Modal Models. J. Symb. Log. Ivo Thomas
1964	J	`jnl`	Universal variable non-Tarskian functors. Notre Dame J. Formal Log. Ivo Thomas
1963	J	`jnl`	A final note on S1° and the Brouwerian axioms. Notre Dame J. Formal Log. Ivo Thomas
1963	J	`jnl`	S1° and Brouwerian axioms. Notre Dame J. Formal Log. Ivo Thomas
1963	J	`jnl`	S1° and generalized S5-axioms. Notre Dame J. Formal Log. Ivo Thomas
1962	J	`jnl`	Finite limitations on Dummet's LC. Notre Dame J. Formal Log. Ivo Thomas
1962	J	`jnl`	On the infinity of positive logic. Notre Dame J. Formal Log. Ivo Thomas
1962	J	`jnl`	Solutions of five modal problems of Sobociński. Notre Dame J. Formal Log. Ivo Thomas
1962	J	`jnl`	The rule of excision in positive implication. Notre Dame J. Formal Log. Ivo Thomas
1960	J	`jnl`	Functional completeness of Henkin's propositional fragments. Notre Dame J. Formal Log. Ivo Thomas
1960	J	`jnl`	Independence of Faris-rejection-axioms. Notre Dame J. Formal Log. Ivo Thomas
1960	J	`jnl`	Independence of Tarski's law in Henkin's propositional fragments. Notre Dame J. Formal Log. Ivo Thomas
1959	J	`jnl`	Axioms for the "Gergonne"-Relations. J. Symb. Log. Ivo Thomas, Don Orth
1958	J	`jnl`	A 12th Century Paradox of the Infinite. J. Symb. Log. Ivo Thomas
1957	J	`jnl`	Eulerian Syllogistic. J. Symb. Log. Ivo Thomas