Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

DOI10.1007/978-3-642-02261-6_8MaRDI QIDQ3638277zbMATH OpenOpenAlexFDO

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

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

proof theorycyclesnormalizationmultiple conclusionproof-graphs

Mathematics Subject Classification ID

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

Recommendations

• Proof-graphs: a thorough cycle treatment, normalization and subformula property
• Normalization of N-graphs via sub-N-graphs
• Normal derivability in classical natural deduction
• Some general results about proof normalization
• A normalization-procedure for the first order classical natural deduction with full logical symbols

Cites work

• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• Duplication of directed graphs and exponential blow up of proofs
• Existential instantiation and normalization in sequent natural deduction
• Natural deduction and coherence for weakly distributive categories
• Normalisation Control in Deep Inference via Atomic Flows
• Normalization theorems for full first order classical natural deduction
• Proofs as processes

Cited in

(3)

• Normalization of N-graphs via sub-N-graphs
• Proof-graphs: a thorough cycle treatment, normalization and subformula property
• Less is more: efficient networked VR transformation handling using geometric algebra

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

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