Personal information

No personal information available

Activities

Works (4)

Proof-Theoretic Harmony and the Strength of Rules

Erkenntnis
2025-01-15 | Journal article
Contributors: Pedro del Valle-Inclán
Source: check_circle
Crossref

Carnap’s Problem, Definability and Compositionality

Journal of Philosophical Logic
2024-10 | Journal article
Contributors: Pedro del Valle-Inclán
Source: check_circle
Crossref

Harmony and Normalisation in Bilateral Logic

Bulletin of the Section of Logic
2023-07-18 | Journal article
Part of ISSN: 2449-836X
Part of ISSN: 0138-0680
Contributors: Pedro del Valle-Inclán
Source: Self-asserted source
Pedro del Valle-Inclán

Coordination and Harmony in Bilateral Logic

Mind
2023-03-07 | Journal article
Part of ISSN: 0026-4423
Part of ISSN: 1460-2113
Contributors: Julian J Schloeder; Pedro del Valle-Inclán
Source: Self-asserted source
Pedro del Valle-Inclán