Non-triviality done proof-theoretically

DOI10.1007/978-3-662-55665-8_30zbMath1495.03006OpenAlexW2749796310MaRDI QIDQ1679783

Rohan French, Shawn Standefer

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_30

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

This page was built for publication: Non-triviality done proof-theoretically