News
More in the Publications archive
Ayhan, S. [2023], What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory, Australasian Journal of Logic, https://doi.org/10.26686/ajl.v20i3.7692
Ayhan, S. & Wansing, H. [2023], On synonymy in proof-theoretic semantics. The case of 2Int, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.18
Ceragioli, L. [2023], Bilateral Rules as Complex Rules, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.13
del Valle-Inclan, P. [2023], Harmony and Normalisation in Bilateral Logic, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.14
Gheorghiu, A. V. [2023], Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.16
Kürbis, N. [2023], Supposition: A Problem for Bilateralism, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.07
Piazza, M., Pulcini, G. & Tesi, M. [2023], Fractional-Valued Modal Logic and Soft Bilateralism, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.17
Piccolomini d'Aragona, A. [2023], Four constructivist attitudes in Prawitzian semantics, in I. Sedlar (ed), The Logica Yearbook 2022, College Publications
Piccolomini d'Aragona, A. [2023], Prawitz's epistemic grounding. An investigation into the power of deduction, Synthese Library, Springer, ISBN 978-3-031-20293-3, https://doi.org/10.1007/978-3-031-20294-0
Piccolomini d'Aragona, A. [2023], The proof-theoretic square, Synthese, https://doi.org/10.1007/s11229-023-04203-5
Restall, G. [2023], Structural Rules in Natural Deduction with Alternatives, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.6
Simonelli, R. [2024], A General Schema for Bilateral Proof Rules, Journal of Philosophical Logic, https://doi.org/10.1007/s10992-024-09743-w
Stafford, W. & Nascimento, V. [2023], Following all the rules: intuitionistic completeness for generalized proof-theoretic validity, Analysis, https://doi.org/10.1093/analys/anac100
Usberti, G. [2023], Meaning and Justification. An Internalist Theory of Meaning, Springer, https://doi.org/10.1007/978-3-031-24605-0, 978-3-031-24607-4
van Dijk, E., Ripley, D. & Gutierrez, J. [2023], Core Type Theory, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.19
Wansing, H. & Ayhan, S. [2023], Logical Multilateralism, Journal of Philosophical Logic, https://doi.org//10.1007/s10992-023-09720-9
More in the CfPs archive
Meaning and understanding via proofs. Topical issue of Topoi. An international review of philosophy. Edited by Antonio Piccolomini d'Aragona, Constantin C. Brîncus and Thomas Piecha. Deadline for submission: July 30th 2024. Link for further information.
The meetings list can be found in the Events page