Logic and Substructurality

Eventos

  • 2019

     

    • August 5-10, 2019. Tranchini, L. Harmony, stability, and the intensional account of proof-theoretic semantic, 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, Prague, 2019

    • 20 June 2019. Tranchini, L. A refutation calculus for intuitionistic logic, Workshop on Assertion, Refutation and Meaning, University of Rome "La Sapienza".

    • 28 June 2019. Cobreros, P. Inferences and Metainferences in ST. Logica 2019, Hejnice, República Checa.

    • 20 May 2019. Tranchini, L. Anti-realismo, identità tra dimostrazioni e una concezione intensionale della logica', Workshop Mettere ordine al mondo: prospettive logiche ed epistemologiche su scienza, natura, società, University of Venice.

    • 16 May 2019. Cobreros, P. Substructurality, Non-transitivity and Metainferences. Munich Center for Mathematical Philosophy, Múnich.

    • 30 March 2019. Tranchini, L. The calculus of higher-level rules in modern dress, Third conference on proof-theoretic semantics, Tübingen University.

    • 2019. Rosenblatt, L. Work in Progress Seminar, talk: Expressing Consistency Consistently. Buenos Aires.

    • 2019. Rosenblatt, L. Bilateral Approaches to Meaning Workshop, talk: Invalidities. Amsterdam.

    • 2019. Rosenblatt, L. Eight Workshop on Philosophical Logic, talk: Varieties of Classical Recapture. Buenos Aires.

  • 2018

    • 11 December 2018. Tranchini, L. A refutation calculus for intuitionistic logic, talk for the Programming Languages  research group, Tübingen University, 2018

    • Friday 30th of November. Talk "Inferences and Metainferences" by Pablo Cobreros (University of Navarra). Centre of Philosophy, University of Lisbon.

    • 29 November 2018. Tranchini, L. Proofs and refutation in 2-intuitionistic logic, research colloquium on Logic and Epistemology, Bochum University, 2018

    • 14th November 2018. Cobreros, P. Inferences and Metainferences. IX Conference of the SLMFCE, Madrid.

    • Wednesday 31st of October. Talk "Truth, proof and consequence as basic concepts of the theory of meaning" by professor Luca Tranchini (Universität Tubingën). 16:00pm. Seminar room (2280) Department of Philosophy. Second floor, Humanities Library.

    • Monday 29th of October. Lecture on Natural Deduction by professor Luca Tranchini (Universität Tubingën). 10:00-12:00. Room M6, 1st floor, Edificio de Amigos.

    • 10–15 September 2018. Tranchini, L. A refutation calculus for intuitionistic logic, Refutation Symposium at the Poznan Reasoning Week, Adam Mickiewicz University, Poznan.

    • 26–27 March 2018. Tranchini, L. A refutation calculus for intuitionistic logic, Pisa Spring Workshop on Proof Theory.

    • 26–28 February 2018. Tranchini, L. A refutation calculus for intuitionistic logic", Second SYSMICS Workshop, Technische Univeristät Vienna.

    • 2018. Rosenblatt, L. Pluralism and Substructural Logics Workshop, talk: On Structural Contraction and Why it Fails. Barcelona.

    • 2018. Rosenblatt, L. Symposium on Greg Restall's forthcoming book, talk: Comment on Proof Theory: Rules and Meaning (with Bruno Da Ré), Buenos Aires, 2018.

    • 2018. Rosenblatt, L. Work in Progress Seminar, talk: On Structural Contraction and Why it Fails. Buenos Aires.

    • 2018. Rosenblatt, L. Seventh Workshop on Philosophical Logic, talk: Maximal Non-Trivial Sets of Instances of your Least Favorite Logical Principle, Buenos Aires.

Contact

Pablo Cobreros Bordenave

pcobreros@unav.es

General contact:
Campus Universitarios s/n
31009 Pamplona
España

+34 948 425 600
pcobreros@unav.es