Foundations of Temporal Logic – The WWW-site for Prior-studies
a joint project between
Department of Information Studies – University of Copenhagen
and
Department of Communication and Psychology – Aalborg University

 

www.priorstudies.org

 

Boxes 23-29 / T

Offprints from the collection of A.N. Prior
donated by
Mrs. Prior
These offprints must be ordered up from the basement stack.
Readers are requested to ask for these only if they are not available in the main offprint collection.
 
Tanaka, S. Axiom systems of B-algebra III (Proceedings of the Japan Academy, 42 (1), 1966)
Tanaka, S. Axiom systems of B-algebra VI (Proceedings of the Japan Academy, 42 (5), 1966)
Tanaka, S. On axiom systems of propositional calculi VI (Proceedings of the Japan Academy, 41 (8), 1965)
Tanaka, S. On axiom systems of propositional calculi VIII (Proceedings of the Japan Academy, 41 (9), 1965)
Tanaka, S. On axiom systems of propositional calculi IX (Proceedings of the Japan Academy, 41 (9), 1965)
Tanaka, S. On axiom systems of propositional calculi XI (Proceedings of the Japan Academy, 41 (10), 1965)
Tanaka, S. On axiom systems of propositional calculi XIII (Proceedings of the Japan Academy, 41 (10), 1965)
Tanaka, S. On axiom systems of propositional calculi XVI (Proceedings of the Japan Academy, 42 (3), 1966)
Tanaka, S. On axiom systems of propositional calculi XVIII (Proceedings of the Japan Academy, 42 (4), 1966)
Tanaka, S./Arai, Y. On axiom systems of propositional calculi XIX (Proceedings of the Japan Academy, 42 (4), 1966)
Tanaka, S. On axiom systems of propositional calculi XX (Proceedings of the Japan Academy, 42 (4), 1966)
Tanaka, S./ Seto, Y. On characterizations of I-algebra I (Proceedings of the Japan Academy, 42 (5), 1966)
Tanaka, S. On variants of axiom systems of propositional calculus II (Proceedings of the Japan Academy, 42 (5), 1966)
Taylor, R. Fatalism (Philosophical review, 71 (1), January 1962)
Taylor, R. "I can" (Philosophical review, 69 (1), January 1960)
Taylor, R. The "justification" of memories and the analogy of vision (Philosophical review, 65 (2), April 1956)
Taylor, R./Chisholm, R.M. Making things to have happened (Analysis, 20 (4), March 1960)
Taylor, R. Moving about in time (Philosophical quarterly, 9 (37), October 1959)
Taylor, R./Duggan, T. On seeing double (Philosophical quarterly, April 1958)
Taylor, R. The problem of future contingencies (Philosophical review, 66 (1), January 1957)
Taylor, R. Spatial and temporal analogies and the concept of identity (Journal of philosophy, 52 (22), October 1955)
Thalberg, I. Abilities and ifs (Analysis, 22 (6), June 1962)
Thalberg, I. Foreknowledge and decisions in advance (Analysis, 24 (3), January 1964)
Thalberg, I. Freedom of action and freedom of will (Journal of philosophy, 61 (14), July 1964)
Thalberg, I./Gale, R.M. The generality of predictions (Journal of philosophy, 62 (8), April 1965)
Thomas, I. Eulerian syllogistic (Journal of symbolic logic, 22 (1), March 1957)
Thomas, I. Functional completeness of Henkin’s propositional fragments (Nôtre Dame journal of formal logic, 1 (3), 1960)
Thomas, I. Independence of Faris-rejection-axioms (Nôtre Dame journal of formal logic, 1 (1), 1960)
Thomas, I. Independence of Tarksi’s law in Henkins’ propositional fragments (Nôtre Dame journal of formal logic, 1 (1), 1960)
Thomas, I. Kilwardby on conversion (Dominican studies, 6, 1953)
Thomas, I. Maxims in Kilwardby (Dominican studies, 7, 1954)
Thomas, I. Note on a modal system of Lukasiewicz (Dominican studies, 6, 1953)
Thomas, I. Ten modal models (Journal of symbolic logic, 29 (3), September 1964)
Toms, E. Reply to a note on the liar paradox (Philosophical review, 67 (1), January 1958)
Turner, G.W. The passive construction in English scientific writing (Aumla, 18, November 1962)
Turner, G.W./Brosnahan, L.F. The phonetic tendency during the formative period of the Old Norse vowel system (Arkiv för Nordisk filologi, 73 (3-4)
Turner, G.W. Time and logic (No source given)
Turquette, A.R. Independent axioms for infinite-valued logic (Journal of symbolic logic, 28 (3), September 1965)
Turquette, A.R. Simplified axioms for many valued quantification (Journal of symbolic logic, 23 (2), June 1958)
   
Updated December 23, 2017