Nicholas Ferenz
Biographic Data
| ID | 9566855 |
|---|---|
| NAME | Nicholas Ferenz |
| GIVEN NAMES | Nicholas |
| FAMILY NAME | Ferenz |
| SIGNATURE | FERENZ N |
| AFFILIATIONS | University of Lisbon |
| ORCID | 0009-0000-0144-121X |
| VERIFIED | Yes |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 1 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2025 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 0 |
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 …
No prominent works on this page.
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 …
Advanced Algebra and Logic (1 works) · First order (1 works) · First-order logic (1 works) · Logic, programming, and type systems (1 works) · Logic, Reasoning, and Knowledge (1 works) · Ontology (1 works)