๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Crimes: Allegation and Proof of Formal Matters


Book ID
123857078
Publisher
University of Michigan Law School
Year
1922
Tongue
English
Weight
318 KB
Volume
21
Category
Article
ISSN
0026-2234

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Characteristics of False Allegation Adul
โœ James J. McNamara; Sean McDonald; Jennifer M. Lawrence ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 135 KB
Asymptotic Cyclic Expansion and Bridge G
โœ A. Carbone ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 515 KB

Formal proofs, even simple ones, may hide an unexpected intricate combinatorics. We define a new combinatorial invariant, the bridge group of a proof, which encodes the cyclic structure of proofs in the sequent calculus. We compute the bridge groups of two infinite families of proofs and identify th