John K. Slaney

Available identifiers

zbMath Open slaney.john-kWikidataQ102415670 ScholiaQ102415670MaRDI QIDQ689215

List of research outcomes

Publication	Date of Publication	Type
Parallelizing the closure computation in automated deduction	2023-04-28	Paper
Models of Relevant Arithmetic	2022-06-27	Paper
The crisis in finite mathematics: Automated reasoning as cause and cure	2020-01-21	Paper
Minlog: A minimal logic theorem prover	2019-10-01	Paper
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning	2018-02-02	Paper
Scavenger 0.1: a theorem prover based on conflict resolution	2017-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3466598	2016-02-01	Paper
The one-variable fragment of \(\mathrm T_\to\)	2014-12-18	Paper
Visualising Reasoning: What ATP Can Learn From CP	2014-07-22	Paper
On the ternary relation and conditionality	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3518811	2008-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3505078	2008-06-18	Paper
Logic Programming	2006-06-27	Paper
Semipositive LTL with an Uninterpreted Past Operator	2005-09-28	Paper
Inconsistency Tolerance	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4440564	2004-03-08	Paper
More proofs of an axiom of Łukasiewicz	2003-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3150303	2002-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4539629	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2735832	2001-09-04	Paper
Blocks World revisited	2001-08-20	Paper
A Note on 'Most'	2000-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4385441	1998-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4856959	1995-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4305491	1995-01-29	Paper
Sentential constants in systems near R	1994-09-28	Paper
A structurally complete fragment of relevant logic	1993-12-06	Paper
Correction to: ``Solution to a problem of Ono and Komori	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4013818	1992-09-27	Paper
The Ackermann constant theorem: A computer-assisted investigation	1992-06-27	Paper
On the structure of De Morgan monoids with corollaries on relevant logic and theories	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3469090	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3470456	1989-01-01	Paper
Solution to a problem of Ono and Komori	1989-01-01	Paper
Solution to a problem of Ono and Komori	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778720	1987-01-01	Paper
3088 varieties: A solution to the Ackermann constant problem	1985-01-01	Paper
A metacompleteness theorem for contraction-free relevant logics	1984-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 K. Slaney