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

A primer for logic and proof

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

Book ID
127396940
Year
2004
Tongue
English
Weight
286 KB
Edition
web draft
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 โš– 423 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.