𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some theorems on abstract logics

✍ Scribed by S. L. Bloom; D. J. Brown; R. Suszko

Book ID
105501281
Publisher
Springer US
Year
1970
Tongue
English
Weight
310 KB
Volume
9
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Some Theorems on Abstract Graphs
Some Theorems on Abstract Graphs
✍ Dirac, G. A. πŸ“‚ Article πŸ“… 1952 πŸ› Oxford University Press 🌐 English βš– 342 KB
Cut-elimination Theorems for Some Infini
Cut-elimination Theorems for Some Infinitary Modal Logics
✍ Yoshihito Tanaka πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 189 KB

In this article, a cut-free system TLMω 1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames. The system TLMω 1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω 1 is defined as a finite tree of sequents in a standar

On Some Completeness Theorems in Modal L
On Some Completeness Theorems in Modal Logic
✍ D. Makinson πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons 🌐 English βš– 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

Two theorems on many-valued logics
Two theorems on many-valued logics
✍ Z. Stachniak πŸ“‚ Article πŸ“… 1988 πŸ› Springer Netherlands 🌐 English βš– 374 KB