✦ LIBER ✦

A certain interpretation of the theory of rejected propositions

✍ Scribed by Walenty Staszek

Publisher: Springer Netherlands
Year: 1972
Tongue: English
Weight: 159 KB
Volume: 30
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120842

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Why the tuple theory of structured propo

Why the tuple theory of structured propositions isn't a theory of structured propositions

✍ Bjørn Jespersen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 527 KB

On specifications, subset types and inte

On specifications, subset types and interpretation of proposition in type theory

✍ Anne Salvesen 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 952 KB

A Note on the Existence of Tautologies i

A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables

✍ Alan Rose 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 1 views

The method of axiomatic rejection for th

The method of axiomatic rejection for the intuitionistic propositional logic

✍ Rafal Dutkiewicz 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 580 KB

We prove that the intuitionistic sentential calculus is L-decidable (decidable in the sense of Lukasiewicz), i.e. the sets of theses of Int and of rejected formulas are disjoint and their union is equal to all formulas. A formula is rejected iff it is a sentential variable or is obtained from other

Scattering theory, cross sections, and t

Scattering theory, cross sections, and the lattice of propositions

✍ J. E. G. Farina 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 943 KB

Solving conflicts in information merging

Solving conflicts in information merging by a flexible interpretation of atomic propositions

✍ Steven Schockaert; Henri Prade 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 790 KB