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

A Primer for Logic and Proof

โœ Scribed by Hirst H.P., Hirst J.L.

Book ID
127404212
Year
2004
Tongue
English
Weight
423 KB
Category
Library

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A primer for logic and proof
A primer for logic and proof
โœ Hirst H.P., Hirst J.L. ๐Ÿ“‚ Library ๐Ÿ“… 2004 ๐ŸŒ English โš– 286 KB
Logic Primer
Logic Primer
๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons โš– 199 KB
A Proof System for Classical Logic
A Proof System for Classical Logic
โœ Witold A. Pogorzelski; Piotr Wojtylak ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 145 KB
Proof Theory for Modal Logic
Proof Theory for Modal Logic
โœ Sara Negri ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 138 KB
A proof rule for restoring logic circuit
A proof rule for restoring logic circuits
โœ J.A. Bergstra; J.W. Klop ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 843 KB

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.