نتائج البحث

An ecumenical view of proof-theoretic semantics

• Authors : Nascimento, Victor; Pereira, Luiz Carlos; Pimentel, Elaine

Subjects: Computer Science - Logic in Computer Science; Mathematics - Logic; 03F03

تفاصيل العنوان

Failure of Completeness in Proof-Theoretic Semantics.

• Authors : Piecha, Thomas¹ ; Campos Sanz, Wagner² ; Schroeder-Heister, Peter¹

• Source: Journal of Philosophical Logic. Jun2015, Vol. 44 Issue 3, p321-335. 15p.

تفاصيل العنوان

Fractional-Valued Modal Logic and Soft Bilateralism

• Authors : Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo

Subjects: modal logic; general proof theory (including proof-theoretic semantics); many-valued logics

• Source: Bulletin of the Section of Logic; Vol. 52 No. 3 (2023): Special issue: Bilateralism and Proof-Theoretic

تفاصيل العنوان