The following pages link to Andrew Tedder (Q2046871):
Displayed 24 items.
- Lambek calculus with conjugates (Q2046872) (← links)
- Correction to: ``Lambek calculus with conjugates'' (Q2046873) (← links)
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- Situated epistemic updates (Q2148833) (← links)
- First degree entailment with group attitudes and information updates (Q2291244) (← links)
- On structural features of the implication fragment of Frege's \textit{Grundgesetze} (Q2409390) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Kapsner complementation: an algebraic take on Kapsner strong logics (Q2698283) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Identity, Haecceity, and the Godzilla Problem (Q4630784) (← links)
- Consistency and Decidability in Some Paraconsistent Arithmetics (Q5019131) (← links)
- Incorporating the Relation into the Language? (Q5066092) (← links)
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)
- A Note on R-Mingle and the Danger of Safety (Q5084574) (← links)
- (Q5100011) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- (Q5149162) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q5885772) (← links)
- An algebraic view of the Mares-Goldblatt semantics (Q6128768) (← links)
- Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’ (Q6164303) (← links)
- Consistent theories in inconsistent logics (Q6166129) (← links)
- On elimination of quantifiers in some non-classical mathematical theories (Q6307083) (← links)
- Relevant Consequence Relations: An Invitation (Q6404405) (← links)