Towards a more general concept of inference

DOI10.1007/s11787-014-0095-3zbMath1339.03047OpenAlexW2065339356MaRDI QIDQ2254558

Ivo Pezlar

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-014-0095-3

zbMATH Keywords

sequent calculusproof theoryinference rulenatural deductionFregeinference2D-inferenceTichýtwo-dimensional inference

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

The Rule of Existential Generalisation and Explicit Substitution, The placeholder view of assumptions and the Curry-Howard correspondence, The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract), Composition of deductions within the propositions-as-types paradigm, Existential Import and Relations of Categorical and Modal Categorical Statements

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item