5 Thu
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
2:00 pm Absolute Provability and Intuitionistic Tense. Vincent A. Peluce @ CUNY Grad Center, 9206
Absolute Provability and Intuitionistic Tense. Vincent A. Peluce @ CUNY Grad Center, 9206
Dec 5 @ 2:00 pm – 4:00 pm
Well-known ties between arithmetical proof and intuitionistic logic make it natural to think of provability in terms of intuitionistic logic and hence absolute provability in terms of one of its extensions. For this reason, we propose Intuitionistic Tense Logic, or tINT, to study absolute provability. We delineate tINT models and a Hilbert-style system, and then prove soundness and completeness. We then use the tINT framework to discuss and compare ideas of absolute provability of authors[...]