Ronald Harrop

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Some results concerning finite model separability of propositional calculi Studia Logica	1976-01-01	Paper
scientific article; zbMATH DE number 3420717 (Why is no real title available?)	1973-01-01	Paper
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models Mathematical Logic Quarterly	1970-01-01	Paper
scientific article; zbMATH DE number 3300564 (Why is no real title available?)	1968-01-01	Paper
Some structure results for propositional calculi Journal of Symbolic Logic	1965-01-01	Paper
scientific article; zbMATH DE number 3254891 (Why is no real title available?)	1965-01-01	Paper
A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem Proceedings of the London Mathematical Society	1964-01-01	Paper
On the Recursivity of Finite Sets Mathematical Logic Quarterly	1961-01-01	Paper
Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems Journal of Symbolic Logic	1960-01-01	Paper
The Finite Model Property and Subsystems of Classical Propositional Calculus Mathematical Logic Quarterly	1959-01-01	Paper
scientific article; zbMATH DE number 3131078 (Why is no real title available?)	1958-01-01	Paper
Common Transversals of Plane Sets Journal of the London Mathematical Society	1958-01-01	Paper
Uniformization of linear arrays Journal of Symbolic Logic	1957-01-01	Paper
On disjunctions and existential statements in intuitionistic systems of logic Mathematische Annalen	1956-01-01	Paper
An Intersection Property in Locally Convex Spaces	1956-01-01	Paper
scientific article; zbMATH DE number 3089082 (Why is no real title available?)	1954-01-01	Paper

Research outcomes over time

This page was built for person: Ronald Harrop