✦ LIBER ✦

On the identification of properties and propositional functions

✍ Scribed by George Bealer

Book ID: 104849164
Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 758 KB
Volume: 12
Category: Article
ISSN: 0165-0157
DOI: 10.1007/bf00627396

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositions, Numbers, And The Problem O

Propositions, Numbers, And The Problem Of Arbitrary Identification

✍ Joseph G. Moore 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 167 KB

On meta complexity of propositional form

On meta complexity of propositional formulas and propositional proofs

✍ Pavel Naumov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 213 KB

On the simple substitution property for

On the simple substitution property for superintuitionistic and modal propositional logics

✍ V. I. Khomich 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 151 KB

Propositions, Properties and Relations:

Propositions, Properties and Relations: Wittgenstein's “Notes on Logic” and the Tractatus

✍ Anthony Palmer 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 85 KB

A method of describing the truth-functio

A method of describing the truth-functions of then-valued propositional calculus

✍ A. A. Zinovjev 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 24 KB

On the Decidability of Propositional Alg

On the Decidability of Propositional Algorithmic Logic

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

ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGIC by BOGDAN S. CHLEBIJS in Warsaw (Po1and)l) 0. Introduction Let PAL be a n abbreviation for propositional algorithmic logic. The investigation of PAL is a continuation of earlier works on algorithmic logic (GRABOWSKI [3], KRECZMAR [5], SALWICKI [