𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A deductive theory of friction II: Mathematical study

✍ Scribed by J.F. Ganghoffer; A. Brillard; J. Schultz

Book ID
107873532
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
883 KB
Volume
195
Category
Article
ISSN
0043-1648

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A deductive theory of friction
A deductive theory of friction
✍ J.F. Ganghoffer; J. Schultz πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 1005 KB
A logic-based theory of deductive argume
A logic-based theory of deductive arguments
✍ Philippe Besnard; Anthony Hunter πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 244 KB

We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the first item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula). We provide some basic definitions for arguments, and various kinds of counter-