John R. Wallace
From MaRDI portal
Person:3272464
Available identifiers
zbMath Open wallace.john-rMaRDI QIDQ3272464
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
https://portal.mardi4nfdi.de/entity/Q4271317 | 1993-11-24 | Paper |
A Decision Procedure For the System EĪ of Entailment with Negation | 1965-01-01 | Paper |
Independent Axiom Schemata for the Pure Theory of Entailment | 1960-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: John R. Wallace