𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some properties of the roots of theories in propositional logic systems

✍ Scribed by Jiancheng Zhang

Book ID
108077183
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
248 KB
Volume
55
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A topological characterization of consis
A topological characterization of consistency of logic theories in propositional logic
✍ Guo-Jun Wang; Yan-Hong She πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs