Calendar

Day
Day
March 19, 2018
19 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 Admissibility of Multiple-Conclusion Rules of Logics with the Disjunction Property (Alex Citkin) @ CUNY Grad Center, rm 3309
Admissibility of Multiple-Conclusion Rules of Logics with the Disjunction Property (Alex Citkin) @ CUNY Grad Center, rm 3309
Mar 19 @ 4:15 pm – 6:15 pm
Tickets
I study admissible multiple-conclusion rules of logics having the meta-disjunction expressible by a finite set of formulas. I show that in such logics the bases of admissible single- and multiple-conclusion rules can be converted into each other. Since these conversions are constructive and preserve cardinality, it is possible to obtain a simple way of constructing a base of admissible single-conclusion rules, by a given base of admissible multiple-conclusion rules and vice versa. Because the proofs[...]
4:15 pm Logic & Metaphysics Workshop @ CUNY Grad Center, rm 3309
Logic & Metaphysics Workshop @ CUNY Grad Center, rm 3309
Mar 19 @ 4:15 pm – 6:15 pm
Tickets
Feb 26 Martin Pleitz, Muenster Mar 5 Vera Flocke, NYU Mar 12 Roy Sorensen, WUSTL Mar 19 Alex Citkin, Private Researcher Mar 26 Chris Scambler, NYU Apr 2 SPRING RECESS. NO MEETING Apr 9 Greg Restall, Melbourne Apr 16 Daniel Nolan, Notre Dame Apr 23 Mel Fitting, CUNY Apr 30 Sungil Han, Seoul National May 7 Andreas Ditter, NYU May14 Rohit Parikh
March 19, 2018