✦ LIBER ✦

Propositional logic of continuous transformations in Cantor space

✍ Scribed by Grigori Mints; Ting Zhang

Publisher: Springer
Year: 2005
Tongue: English
Weight: 194 KB
Volume: 44
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-005-0285-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The modal logic of continuous functions

The modal logic of continuous functions on cantor space

✍ Philip Kremer 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 206 KB

On the polynomial-space completeness of

On the polynomial-space completeness of intuitionistic propositional logic

✍ Vítezslav Švejdar 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 140 KB

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

Doing logic by computer: interpolation i

Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

✍ Lex Hendriks 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 164 KB

Semantics of looping programs in Proposi

Semantics of looping programs in Propositional Dynamic Logic

✍ Francine Berman 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 601 KB

On The Computational Consequences of Ind

On The Computational Consequences of Independence in Propositional Logic

✍ Merlijn Sevenster 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 233 KB