✦ LIBER ✦

Propositional logic of reflexive sentences

✍ Scribed by V. A. Stepanov

Book ID: 111493978
Publisher: Allerton Press, Inc.
Year: 2007
Weight: 255 KB
Volume: 41
Category: Article
ISSN: 0005-1055
DOI: 10.3103/s0005105507030028

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Substitutions of Σ10-sentences: explorat

Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic

✍ Albert Visser 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 347 KB

This paper is concerned with notions of consequence. On the one hand, we study admissible consequence, speciÿcally for substitutions of 0 1 -sentences over Heyting arithmetic (HA). On the other hand, we study preservativity relations. The notion of preservativity of sentences over a given theory is

Repetitions of propositional arguments i

Repetitions of propositional arguments in sentences

✍ Leon Manelis; Frank R. Vekovich 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 954 KB

A Bounded Translation of Intuitionistic

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Propositional Logic of Essence

✍ Fabrice Correia 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 114 KB

Logic of propositions

✍ J. Ridder 📂 Article 📅 1948 🏛 Springer Netherlands 🌐 English ⚖ 337 KB

Propositional dynamic logic of flowchart

Propositional dynamic logic of flowcharts

✍ D. Harel; R. Sherman 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 686 KB