scientific article
From MaRDI portal
Publication:2973406
DOI10.2143/LEA.227.0.3053512zbMath1369.03037MaRDI QIDQ2973406
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) Classical propositional logic (03B05) Complexity of proofs (03F20)
Related Items (6)
Informational semantics, non-deterministic matrices and feasible deduction ⋮ The method of polynomial ring calculus and its potentialities ⋮ An informational view of classical logic ⋮ Classical logic, argument and dialectic ⋮ A multi-agent depth bounded Boolean logic ⋮ Normality, non-contamination and logical depth in classical natural deduction
This page was built for publication:
