New answers tagged proof-theory
1
vote
Examples of mathematical theories that are naturally written in exotic logics
From the SEP entry on paraconsistent logics:
A paraconsistent approach makes it possible to have theories of truth and sethood in which the mathematically fundamental intuitions about these notions ...
- 2,203
Top 50 recent answers are included