Ivo Thomas

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Axiom sets equivalent to syllogism and Peirce	1976-01-01	Paper
One dimension in PS and PSI	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4074871	1976-01-01	Paper
Simple implicational development	1975-01-01	Paper
Nice implicational axioms	1975-01-01	Paper
Shorter development of an axiom	1975-01-01	Paper
On a passage of Aristotle	1974-01-01	Paper
On Meredith's sole positive axiom	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214893	1974-01-01	Paper
Unusual feature of S3\(^*\)	1973-01-01	Paper
Further extensions of S3\(^*\)	1973-01-01	Paper
In memoriam A. N. Prior (1912-1969)	1971-01-01	Paper
A proof of a theorem of Lukasiewicz	1971-01-01	Paper
Final word on a shortest implicational axiom	1970-01-01	Paper
In memoriam Edward John Lemmon (1930-1966)	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5556392	1968-01-01	Paper
Replacement in some modal systems	1968-01-01	Paper
Three-valued propositional fragments with classical implication	1967-01-01	Paper
A theorem on S4.2 and S4.4	1967-01-01	Paper
Decision for K4	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5557852	1965-01-01	Paper
Decision procedures for \(S2^ 0\) and \(T^ 0\)	1964-01-01	Paper
Modal systems in the neighbourhood of T	1964-01-01	Paper
Universal variable non-Tarskian functors	1964-01-01	Paper
Ten modal models	1964-01-01	Paper
\(S1^\circ\) and Brouwerian axioms	1963-01-01	Paper
\(S1^\circ\) and generalized S5-axioms	1963-01-01	Paper
A final note on S\(1^ 0\) and the Brouwerian axioms	1963-01-01	Paper
Solutions of five modal problems of Sobocinski	1962-01-01	Paper
Finite limitations on Dummett's LC	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5722250	1962-01-01	Paper
Independence of Tarski's law in Henkin's propositional fragments	1960-01-01	Paper
Functional completeness of Henkin's propositional fragments	1960-01-01	Paper
Independence of Faris-rejection axioms	1960-01-01	Paper
A 12th century paradox of the infinite	1959-01-01	Paper
Axioms for the “Gergonne”-relations	1959-01-01	Paper
Eulerian syllogistic	1957-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5850506	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5802141	1950-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ivo Thomas