scientific article
From MaRDI portal
Publication:2973409
DOI10.2143/LEA.227.0.3053514zbMath1369.03048MaRDI QIDQ2973409
Publication date: 3 April 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
Дом, который построил Кэрролл: регресс и адоптация в формальном обосновании ⋮ Revisiting Reichenbach's logic ⋮ The original sin of proof-theoretic semantics ⋮ Restall's proof-theoretic pluralism and relevance logic ⋮ The logics of strict-tolerant logic
This page was built for publication: