Andrew Tedder
Biographic Data
| ID | 5995778 |
|---|---|
| NAME | Andrew Tedder |
| GIVEN NAMES | Andrew |
| FAMILY NAME | Tedder |
| SIGNATURE | TEDDER A |
| AFFILIATIONS | Czech Academy of Sciences |
| ORCID | 0000-0002-2303-003X |
| VERIFIED | Yes |
| TOTAL WORKS | 4 |
| TOTAL CITATIONS | 8 |
| AUTHOR COUNT | 4 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2020 |
| LATEST PUBLICATION YEAR | 2026 |
| H-INDEX | 1 |
Topics in Relevant Logic: A Semantic Perspective
Relevance via Topicality in First Order Logics
We investigate the problem of providing relevance properties for first order logics by expanding on recent work concerning relevance as a topical property in propositional relevant logics. We propose a theory of topic for first order languages, relying on the use of focus markers in an extension of the usual first order language, and suggest how such an enrichment of the language and conceptual apparatus of the logic can provide avenues into the …
Relevant propositional dynamic logic
What's the catch? Archaeological application of rapid collagen-based species identification for Pacific Salmon
What's the catch? Archaeological application of rapid collagen-based species identification for Pacific Salmon
Relevant propositional dynamic logic
Relevance via Topicality in First Order Logics
We investigate the problem of providing relevance properties for first order logics by expanding on recent work concerning relevance as a topical property in propositional relevant logics. We propose a theory of topic for first order languages, relying on the use of focus markers in an extension of the usual first order language, and suggest how such an enrichment of the language and conceptual apparatus of the logic can provide avenues into the …
Topics in Relevant Logic: A Semantic Perspective
Advanced Algebra and Logic (3 works) · Logic, Reasoning, and Knowledge (3 works) · Artificial Intelligence (2 works) · Computer Science (2 works) · Description logic (2 works) · Epistemology (2 works) · Ontology (2 works) · Philosophy (2 works) · Accessibility relation (1 works) · Ancient DNA (1 works)