J. P. Cleave

Available identifiers

zbMath Open cleave.john-pMaRDI QIDQ1227594

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4003057	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4733849	1987-01-01	Paper
The form of the tangent-developable at points of zero torsion on space curves	1980-01-01	Paper
The axiomatisation of theories of material necessity	1979-01-01	Paper
Generic bifurcations of forced oscillations of integrable mechanical systems	1979-01-01	Paper
THE CONCEPT OF ‘VARIABLE’ IN NINETEENTH CENTURY ANALYSIS	1979-01-01	Paper
Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain)	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4088805	1975-01-01	Paper
The Notion of Logical Consequence in the Logic of Inexact Predicates	1974-01-01	Paper
An Account of Entailment Based on Classical Semantics	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4777272	1974-01-01	Paper
Two-Point Boundary Value Problems for Systems of Second Order Ordinary Differential Equations	1973-01-01	Paper
Combinatorial systems. I: Cylindrical problems	1972-01-01	Paper
Cauchy, Convergence and Continuity	1971-01-01	Paper
Some Properties of Recursively Inseparable Sets	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5629624	1970-01-01	Paper
The Notion of Validity in Logical Systems with Inexact Predicates	1970-01-01	Paper
The primitive recursive analysis of ordinary differential equations and the complexity of their solutions	1969-01-01	Paper
Local Properties of Systems	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5620597	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5545952	1967-01-01	Paper
A Hierarchy of Primitive Recursive Functions	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5517329	1962-01-01	Paper
Creative Functions	1961-01-01	Paper
Algorithms for Formula Translation	1959-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3253361	1958-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: J. P. Cleave