Ivo Thomas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

1976

Axiom sets equivalent to syllogism and PeirceIvo Thomas. ndjfl, 17(2):248, 1976. [doi]

One dimension in PS and PSIIvo Thomas. ndjfl, 17(3):421-423, 1976. [doi]

1975

Simple implicational developmentIvo Thomas. ndjfl, 16(2):268, 1975. [doi]

Shorter development of an axiomIvo Thomas. ndjfl, 16(3):378, 1975. [doi]

Nice implicational axiomsIvo Thomas. ndjfl, 16(4):507-508, 1975. [doi]

1974

On a passage of AristotleIvo Thomas. ndjfl, 15(2):347-348, 1974. [doi]

On Meredith's sole positive axiomIvo Thomas. ndjfl, 15(3):477, 1974. [doi]

1973

Unusual feature of $S3^\ast$Ivo Thomas. ndjfl, 14(2):276, 1973. [doi]

Further extensions of $S3^\ast$Ivo Thomas. ndjfl, 14(3):423-424, 1973. [doi]

1971

A proof of a theorem of ŁukasiewiczIvo Thomas. ndjfl, 12(4):507-508, 1971. [doi]

In memoriam A. N. Prior (1914-1969)Ivo Thomas. ndjfl, 12(2):129-130, 1971. [doi]

1970

Final word on a shortest implicational axiomIvo Thomas. ndjfl, 11(1):16, 1970. [doi]

1968

Replacement in Some Modal SystemsIvo Thomas. JSYML, 33(4):569-570, 1968.

In memoriam: Edward John Lemmon (1930 - 1966)Ivo Thomas. ndjfl, 9(1):1-3, 1968. [doi]

The rule of PeirceIvo Thomas. ndjfl, 9(1):34, 1968. [doi]

1967

Three-valued propositional fragments with classical implicationIvo Thomas. ndjfl, 8(1-2):145-147, 1967. [doi]

A theorem on S4.2 and S4.4Ivo Thomas. ndjfl, 8(4):335-336, 1967. [doi]

Decision for K4Ivo Thomas. ndjfl, 8(4):337-338, 1967. [doi]

1965

The written liar and Thomas OliverIvo Thomas. ndjfl, 6(3):201-208, 1965. [doi]

1964

Ten Modal ModelsIvo Thomas. JSYML, 29(3):125-128, 1964.

Modal systems in the neighbourhood of TIvo Thomas. ndjfl, 5(1):59-61, 1964. [doi]

A note on self-referential statementsIvo Thomas. ndjfl, 5(3):218-220, 1964. [doi]

0Ivo Thomas. ndjfl, 5(4):319-320, 1964. [doi]

Universal variable non-Tarskian functorsIvo Thomas. ndjfl, 5(3):221-222, 1964. [doi]

1963

S1° and generalized S5-axiomsIvo Thomas. ndjfl, 4(2):153-154, 1963. [doi]

A final note on S1° and the Brouwerian axiomsIvo Thomas. ndjfl, 4(3):231-232, 1963. [doi]

S1° and Brouwerian axiomsIvo Thomas. ndjfl, 4(2):151-152, 1963. [doi]

1962

On the infinity of positive logicIvo Thomas. ndjfl, 3(2):108, 1962. [doi]

Solutions of five modal problems of SobocińskiIvo Thomas. ndjfl, 3(3):199-200, 1962. [doi]

The rule of excision in positive implicationIvo Thomas. ndjfl, 3(1):64, 1962. [doi]

Finite limitations on Dummet's LCIvo Thomas. ndjfl, 3(3):170-174, 1962. [doi]

1960

Independence of Faris-rejection-axiomsIvo Thomas. ndjfl, 1(1-2):48-51, 1960. [doi]

Independence of Tarski's law in Henkin's propositional fragmentsIvo Thomas. ndjfl, 1(1-2):74-78, 1960. [doi]

Functional completeness of Henkin's propositional fragmentsIvo Thomas. ndjfl, 1(3):107-110, 1960. [doi]

1959

Axioms for the Gergonne -RelationsIvo Thomas, Don Orth. JSYML, 24(4):305, 1959.

1958

A 12th Century Paradox of the InfiniteIvo Thomas. JSYML, 23(2):133-134, 1958.

1957

Eulerian SyllogisticIvo Thomas. JSYML, 22(1):15-16, 1957.

Sign in or sign up to see more results.

runs on WebDSL