Commuting conversions vs. the standard conversions of the ``good connectives

DOI10.1007/S11225-009-9186-1MaRDI QIDQ1037589zbMATH OpenOpenAlexFDO

Authors Fernando Ferreira, Gilda Ferreira

Publication date 16 November 2009

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-009-9186-1

zbMATH Keywords

natural deductioncommuting conversionspredicative quantifiers

Mathematics Subject Classification ID

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

Recommendations

• A connection between cut elimination and normalization
• Extended Natural Deduction Images of Conversions from the System of Sequents
• scientific article; zbMATH DE number 1302506
• Comments on predicative logic
• Termination of permutative conversions in intuitionistic Gentzen calculi

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Comments on predicative logic

Cited in

(9)

• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Atomic polymorphism
• HARMONISING HARMONY
• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
• Atomic polymorphism and the existence property
• Proof nets, coends and the Yoneda isomorphism
• Rasiowa-Harrop disjunction property
• The naturality of natural deduction

This page was built for publication: Commuting conversions vs. the standard conversions of the ``good connectives

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