The following pages link to John K. Slaney (Q689215):
Displayed 39 items.
- (Q197046) (redirect page) (← links)
- (Q452356) (redirect page) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- The one-variable fragment of \(\mathrm T_\to\) (Q484182) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- A structurally complete fragment of relevant logic (Q689216) (← links)
- A metacompleteness theorem for contraction-free relevant logics (Q1064316) (← links)
- On the structure of De Morgan monoids with corollaries on relevant logic and theories (Q1119633) (← links)
- The Ackermann constant theorem: A computer-assisted investigation (Q1181706) (← links)
- Correction to: ``Solution to a problem of Ono and Komori'' (Q1198410) (← links)
- Sentential constants in systems near R (Q1313086) (← links)
- More proofs of an axiom of Łukasiewicz (Q1869612) (← links)
- Scavenger 0.1: a theorem prover based on conflict resolution (Q2405260) (← links)
- (Q2735832) (← links)
- (Q3150303) (← links)
- (Q3466598) (← links)
- (Q3469090) (← links)
- (Q3470456) (← links)
- (Q3505078) (← links)
- (Q3518811) (← links)
- 3088 varieties: A solution to the Ackermann constant problem (Q3695256) (← links)
- (Q3778720) (← links)
- (Q4013818) (← links)
- (Q4305491) (← links)
- (Q4385441) (← links)
- (Q4440564) (← links)
- A Note on 'Most' (Q4497460) (← links)
- (Q4539629) (← links)
- (Q4856959) (← links)
- Models of Relevant Arithmetic (Q5084573) (← links)
- Visualising Reasoning: What ATP Can Learn From CP (Q5170236) (← links)
- The crisis in finite mathematics: Automated reasoning as cause and cure (Q5210758) (← links)
- Minlog: A minimal logic theorem prover (Q5234710) (← links)
- Inconsistency Tolerance (Q5464034) (← links)
- Logic Programming (Q5475765) (← links)
- Semipositive LTL with an Uninterpreted Past Operator (Q5693114) (← links)
- Solution to a problem of Ono and Komori (Q5903941) (← links)
- Blocks World revisited (Q5940781) (← links)
- Solution to a problem of Ono and Komori (Q5966494) (← links)