Proof and Falsity
From MaRDI portal
Publication:3121549
DOI10.1017/9781108686792zbMath1412.03003OpenAlexW4231870179MaRDI QIDQ3121549
Publication date: 18 March 2019
Full work available at URL: https://doi.org/10.1017/9781108686792
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (8)
A novel approach to equality ⋮ Logical multilateralism ⋮ Rejection: a historico-epistemological view ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Supposition: A Problem for Bilateralism ⋮ Book review of: N. Kürbis, Proof and falsity: a logical investigation ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ Normalisation for Some Quite Interesting Many-Valued Logics
This page was built for publication: Proof and Falsity