scientific article
From MaRDI portal
Publication:3007254
zbMath1279.03077MaRDI QIDQ3007254
Publication date: 21 June 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Informational semantics, non-deterministic matrices and feasible deduction, The enduring scandal of deduction. Is propositional logic really uninformative?, Proof-Search in Natural Deduction Calculus for Classical Propositional Logic, Semantics and proof-theory of depth bounded Boolean logics, An informational view of classical logic, Classical logic, argument and dialectic, Unnamed Item, Normality, non-contamination and logical depth in classical natural deduction