Towards a more general concept of inference

DOI10.1007/S11787-014-0095-3MaRDI QIDQ2254558zbMATH OpenOpenAlexFDO

Authors 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

2D-inferenceFregeinferenceinference rulenatural deductionproof theorysequent calculusTichýtwo-dimensional inference

Mathematics Subject Classification ID

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

Recommendations

• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• What is the logic of inference?
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• scientific article; zbMATH DE number 1975410
• Archetypal forms of inference

Cited in

(9)

• Composition of deductions within the propositions-as-types paradigm
• What is the logic of inference?
• The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)
• Existential import and relations of categorical and modal categorical statements
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• The phenomenology of second-level inference: perfumes in the deductive garden
• The Rule of Existential Generalisation and Explicit Substitution
• Universal inference
• The placeholder view of assumptions and the Curry-Howard correspondence

This page was built for publication: Towards a more general concept of inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254558)