𝔖 Bobbio Scriptorium
✦   LIBER   ✦

John Buridan on the Bearer of Logical Relations

✍ Scribed by Ernesto Perini-Santos


Book ID
107509003
Publisher
SP Birkhäuser Verlag Basel
Year
2008
Tongue
English
Weight
150 KB
Volume
2
Category
Article
ISSN
1661-8297

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The logical consequence relation of prop
✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 718 KB

This work concerns the model theory of propositional tense logic with the K R ~K E relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete l7: set, and (ii) that for 0 m < o + o there are formulas y,, such that all models of y m are isomorphic and h