๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The principle of separation of variables in propositional logics

โœ Scribed by L. L. Maksimova

Book ID
105387378
Publisher
Springer US
Year
1976
Tongue
English
Weight
506 KB
Volume
15
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The logical consequence relation of prop
The logical consequence relation of propositional tense logic
โœ 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