| 4 Mon |
|---|
|
All-day
|
|
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
4:15 pm
Bilattices and Strict Tolerant Logics (Melvin Fitting)
@ CUNY Grad Center, 7314
Bilattices and Strict Tolerant Logics (Melvin Fitting)
@ CUNY Grad Center, 7314
Feb 4 @ 4:15 pm – 6:15 pm
Strict/tolerant logic is a formally defined logic that has the same consequence relation as classical logic, though it differs from classical logic at the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been recommended for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves. We show that[...]
|
Subscribe to filtered calendar