𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Deduction Theorems for Relevant Logics

✍ Scribed by Aleksandar Kron


Publisher
John Wiley and Sons
Year
1973
Tongue
English
Weight
421 KB
Volume
19
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Constructive Proof of a Theorem in Rel
✍ Aleksandar Kron πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 461 KB πŸ‘ 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B

Cut-elimination Theorems for Some Infini
✍ 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