John K. Slaney

Available identifiers

zbMath Open slaney.john-kWikidataQ102415670 ScholiaQ102415670MaRDI QIDQ689215

List of research outcomes

Publication	Date of Publication	Type
On a suggested logic for paraconsistent mathematics	2025-01-20	Paper
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
Counting loops with the inverse property.	2008-08-12	Paper
A finite fragment of S3	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
Linear arithmetic desecsed	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
Solution to a problem of Ono and Komori	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3470456	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3469090	1989-01-01	Paper
Solution to a problem of Ono and Komori	1989-01-01	Paper
On the structure of De Morgan monoids with corollaries on relevant logic and theories	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

This page was built for person: John K. Slaney