scientific article; zbMATH DE number 6296784

zbMath1291.03005MaRDI QIDQ5416141

Javier Legris

Publication date: 19 May 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logical consequenceproof theorystructural reasoninghistory of symbolic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (4)

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ The Role of Structural Reasoning in the Genesis of Graph Theory ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

Uses Software

• Pesca

This page was built for publication: