The following pages link to (Q3028974):
Displayed 10 items.
- Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Paradox and logical revision. A short introduction (Q1708458) (← links)
- Anything goes (Q1708461) (← links)
- A robust non-transitive logic (Q1708468) (← links)
- Logic as instrument: the millian view on the role of logic (Q2785668) (← links)
- RELEVANCE FOR THE CLASSICAL LOGICIAN (Q5107541) (← links)
- Where in the (World Wide) Web of Belief is the Law of Non‐contradiction?* (Q5275565) (← links)
- HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE (Q6148470) (← links)
- Core Type Theory (Q6200463) (← links)