On Sets of Premises

DOI10.1515/9781501502620-009zbMATH Open1433.03128arXiv1412.6783OpenAlexW1863042743MaRDI QIDQ5221850FDOQ5221850

Publication date: 3 April 2020

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

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.

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

zbMATH Keywords

contraction product categories adjunction deduction conjunction sequent diagonal functor identity of deductions isomorphism of formulae

Mathematics Subject Classification ID

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

Cited In (1)

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)