𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Indexical sentences and nonformal “logical” relations

✍ Scribed by Richard W. Peltz

Publisher
Springer Netherlands
Year
1962
Tongue
English
Weight
249 KB
Volume
13
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Assembling a consistent set of sentences
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
✍ Cassio Polpo de Campos; Fabio Gagliardi Cozman; José Eduardo Ochoa Luna 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 350 KB

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not requir

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