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

DOI10.1007/S11225-009-9186-1zbMath1185.03081OpenAlexW2115775190MaRDI QIDQ1037589

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

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

Related Items (9)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Comments on predicative logic

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