scientific article; zbMATH DE number 7669420

MaRDI QIDQ5883190

Achille C. Varzi, Gabriele Pulcini

Publication date: 29 March 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

A note on cut-elimination for classical propositional logic ⋮ Cut elimination by unthreading ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Complementary proof nets for classical logic ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ Fractional-Valued Modal Logic and Soft Bilateralism

This page was built for publication: