On sets of premises

DOI10.1515/9781501502620-009MaRDI QIDQ5221850zbMATH OpenOpenAlexFDO

Authors Kosta Došen

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.6783

zbMATH Keywords

contractionproductcategoriesadjunctiondeductionconjunctionsequentdiagonal functoridentity of deductionsisomorphism of formulae

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Abstract: Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with the same premises and the same conclusions become equal. In terms of categorial proof theory, this is a consequence of a simple fact concerning adjunction with a full and faithful functor applied to the adjunction between the diagonal functor and the product biendofunctor, which corresponds to the conjunction connective.

Recommendations

• Models of deduction
• A prologue to the theory of deduction
• Identity of Proofs Based on Normalization and Generality
• scientific article; zbMATH DE number 753772
• Perfect validity, entailment and paraconsistency

Cited in

(3)

• On the Paths of Categories
• Models of deduction
• Gödel's natural deduction

This page was built for publication: On sets of premises

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