Structure vs. Invariants in Proofs (StrIP)

Short title	Structure vs. Invariants in Proofs (StrIP)
Status	Active
Effective start/end date	1/05/20 → 31/07/24

Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics
Das, A., van der Giessen, I. & Marin, S., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl, p. 22:1-22:18 18 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
68 Downloads (Pure)
Admissible rules for six intuitionistic modal logics
van der Giessen, I., 1 Apr 2023, In: Annals of Pure and Applied Logic. 174, 4, 34 p., 103233.
Research output: Contribution to journal › Article › peer-review

Open Access
File

33 Downloads (Pure)
Computational expressivity of (circular) proofs with fixed points
Curzi, G. & Das, A., 14 Jul 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 13 p. 10175772. (Proceedings - Symposium on Logic in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Project Details