Ronald Harrop

Available identifiers

Publication	Date of Publication	Type
Some results concerning finite model separability of propositional calculi	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5685054	1973-01-01	Paper
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5582302	1968-01-01	Paper
Some structure results for propositional calculi	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541324	1965-01-01	Paper
A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem	1964-01-01	Paper
On the Recursivity of Finite Sets	1961-01-01	Paper
Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems	1960-01-01	Paper
The Finite Model Property and Subsystems of Classical Propositional Calculus	1959-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3247123	1958-01-01	Paper
Common Transversals of Plane Sets	1958-01-01	Paper
Uniformization of linear arrays	1957-01-01	Paper
On disjunctions and existential statements in intuitionistic systems of logic	1956-01-01	Paper
An Intersection Property in Locally Convex Spaces	1956-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5827946	1954-01-01	Paper

This page was built for person: Ronald Harrop