𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multimo dal Logics of Products of Topologies

✍ Scribed by J. van Benthem; G. Bezhanishvili; B. ten Cate; D. Sarenac

Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
370 KB
Volume
84
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A topological logic of action
A topological logic of action
✍ Krister Segerberg πŸ“‚ Article πŸ“… 1984 πŸ› Springer Netherlands 🌐 English βš– 256 KB

We consider a quantifier-free language in which there are terms as weal as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, "does". We study a

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

Product of generalized topologies
Product of generalized topologies
✍ Á. CsΓ‘szΓ‘r πŸ“‚ Article πŸ“… 2008 πŸ› Akadmiai Kiad 🌐 English βš– 473 KB