Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

DOI10.1007/978-3-642-02261-6_8zbMath1246.03071OpenAlexW1548306918MaRDI QIDQ3638277

Ruy J. G. B. de Queiroz, Gleifer V. Alves, Anjolina de Oliveira

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_8

zbMATH Keywords

cyclesproof theorynormalizationmultiple conclusionproof-graphs

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (1)

Normalization of N-graphs via sub-N-graphs

Cites Work

• Duplication of directed graphs and exponential blow up of proofs
• Natural deduction and coherence for weakly distributive categories
• Existential instantiation and normalization in sequent natural deduction
• Proofs as processes
• Normalisation Control in Deep Inference via Atomic Flows
• Normalization theorems for full first order classical natural deduction
• Unnamed Item

This page was built for publication: Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization