The following pages link to (Q3474640):
Displaying 12 items.
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- The Leibniz continuity condition, inconsistency and quantum dynamics (Q1368752) (← links)
- Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus (Q1771201) (← links)
- Optimality justifications: new foundations for foundation-oriented epistemology (Q2666894) (← links)
- Some recent applications of paraconsistent systems to AI (Q2753263) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Inconsistent models for relevant arithmetics (Q3734361) (← links)
- Natural deduction for three-valued regular logics (Q4683206) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- A solution to the completeness problem for weakly aggregative modal logic (Q4858819) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464717) (← links)