𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Topological Separation Principles And Logical Theories

✍ Scribed by Chris Mortensen

Book ID
110221987
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
49 KB
Volume
125
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Classical linear logics with mix separat
Classical linear logics with mix separation principle
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 142 KB

## Abstract Variants of classical linear logics are presented based on the modal version of new structural rule !?mingle instead of the known rules !weakening and ?weakening. The cut‐elimination theorems, the completeness theorems (with respect to Girard's phase models) and a characteristic propert

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

Variational principles and topological g
Variational principles and topological games
✍ Choban, Mitrofan M.; Kenderov, Petar S.; Revalski, Julian P. πŸ“‚ Article πŸ“… 2012 πŸ› Elsevier Science 🌐 English βš– 266 KB