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

On Meyer and Lambert's Quantificational Calculus FQ

โœ Scribed by Hugues LeBlanc


Book ID
124185207
Publisher
Association for Symbolic Logic
Year
1968
Tongue
English
Weight
486 KB
Volume
33
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Equivalence of a bridged link calculus a
โœ Thomas Kerler ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 481 KB

We recall an extension of Kirby's calculus on nonsimply connected 3-manifolds given by Fenn and Rourke ( 1979). and the surgery calculus of bridged links from Kerler (1994), which involves only local moves. We give a short combinatorial proof that the two calculi are equivalent, and thus describe th