Ronald Harrop

zbMath Openharrop.ronaldMaRDI QIDQ1239306

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