✦ LIBER ✦

∏11-universality of some propositional logics of concurrent programs

✍ Scribed by M.K. Valiev

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 686 KB
Volume: 119
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90347-v

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness Proofs for Some Logics of P

Completeness Proofs for Some Logics of Programs

✍ Bogdan S. Chlebus 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 712 KB

Some applications of propositional logic

Some applications of propositional logic to cellular automata

✍ Stefano Cavagnetto 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 154 KB

## Abstract In this paper we give a new proof of Richardson's theorem [31]: a global function __G__~𝔸~ of a cellular automaton 𝔸 is injective if and only if the inverse of __G__~𝔸~ is a global function of a cellular automaton. Moreover, we show a way how to construct the inverse cellular automaton

The hilbert type axiomatization of some

The hilbert type axiomatization of some three-valued propositional logic

✍ Andrzej Zbrzezny 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 339 KB

Reducts of propositional theories, satis

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

✍ Miroslaw Truszczyński 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 310 KB

On Fuzzy Logic III. Semantical completen

On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi

✍ Jan Pavelka 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 901 KB

The Expressive Force of Some Fragments o

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames

✍ P. H. Rodenburg 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 323 KB 👁 1 views