Next on PTS Seminar: Leonardo Ceragioli, Feb 24, 5pm (UTC+0)
1 view
Skip to first unread message
PTS Network
Jan 5, 2026, 8:14:41 AMJan 5
to pts-n...@googlegroups.com
We wish everyone a happy new year and are happy to announce the first session of our PTS Seminar Series in 2026 coming up soon!
On Tuesday, February 24, 5pm (UTC+0), Leonardo Ceragioli (University of Milano, LUCI Lab) will present his work with the title "SASC Sequent Calculi for Classical and (Dual) Intuitionistic Logic".
Here is the abstract:
"This presentation explores a reformulation of logical inferentialism centered on SASC sequent calculi, that is, systems constrained to a single premise and a single conclusion. The research challenges traditional inferentialist frameworks that permit multiple premises (and sometimes even multiple conclusions).
To substantiate this position, we introduce novel, cut-free sequent calculi tailored for first-order classical, intuitionistic, and dual intuitionistic logics. These systems are evaluated based on the criteria of weak separability and non-circularity. A key conceptual innovation is the classification of inference rules as either "liberal" or "puritan", a distinction based on their inferential complexity within this restricted framework.
The results demonstrate that classical logic not only functions effectively within this stringent single-premise, single-conclusion paradigm but also satisfies the core meaning-theoretic demands of weak separability and non-circularity. The work thus defends the viability and conceptual stability of classical logic from an inferentialist perspective, offering a refined foundation for proof-theoretic semantics."
We will send the Zoom link over this list on the day before the session.
Please make sure to convert the time correctly to your specific time zone! The talk will take place at 5pm in the UK, 6pm CET, 9am in LA, 12pm in New York, 2pm Brasília Time (to give just some examples).
All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford
On Tuesday, February 24, 5pm (UTC+0), Leonardo Ceragioli (University of Milano, LUCI Lab) will present his work with the title "SASC Sequent Calculi for Classical and (Dual) Intuitionistic Logic".
Here is the abstract:
"This presentation explores a reformulation of logical inferentialism centered on SASC sequent calculi, that is, systems constrained to a single premise and a single conclusion. The research challenges traditional inferentialist frameworks that permit multiple premises (and sometimes even multiple conclusions).
To substantiate this position, we introduce novel, cut-free sequent calculi tailored for first-order classical, intuitionistic, and dual intuitionistic logics. These systems are evaluated based on the criteria of weak separability and non-circularity. A key conceptual innovation is the classification of inference rules as either "liberal" or "puritan", a distinction based on their inferential complexity within this restricted framework.
The results demonstrate that classical logic not only functions effectively within this stringent single-premise, single-conclusion paradigm but also satisfies the core meaning-theoretic demands of weak separability and non-circularity. The work thus defends the viability and conceptual stability of classical logic from an inferentialist perspective, offering a refined foundation for proof-theoretic semantics."
We will send the Zoom link over this list on the day before the session.
Please make sure to convert the time correctly to your specific time zone! The talk will take place at 5pm in the UK, 6pm CET, 9am in LA, 12pm in New York, 2pm Brasília Time (to give just some examples).
All the best,
Sara Ayhan, Hermógenes Oliveira, Antonio Piccolomini d'Aragona & Will Stafford
Reply all
Reply to author
Forward
0 new messages