✦ LIBER ✦

Definitions by context in propositional logics

✍ Scribed by Marek Tokarz

Publisher: Springer Netherlands
Year: 1978
Tongue: English
Weight: 152 KB
Volume: 37
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02124798

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Validity Measurement in Some Proposition

Validity Measurement in Some Propositional Logics

✍ Branislav Boričić 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 501 KB

## Abstract The language of the propositional calculus is extended by two families of propositional probability operators, inductively applicable to the formulae, and the set of all formulae provable in an arbitrary superintuitionistic propositional logic is extended by the probability measure axio

Subformula results in some propositional

Subformula results in some propositional modal logics

✍ Melvin Fitting 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 251 KB

Double-Negation Elimination in Some Prop

Double-Negation Elimination in Some Propositional Logics

✍ Michael Beeson; Robert Veroff; Larry Wos 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

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

Uniform Interpolation and Propositional

Uniform Interpolation and Propositional Quantifiers in Modal Logics

✍ Marta Bílková 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 291 KB

Cut formulas in propositional logic

✍ Wenhui Zhang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 803 KB