The simple substitution property of the intermediate propositional logics on finite slices-Reference-Cited by-同舟云学术

The simple substitution property of the intermediate propositional logics on finite slices

Published:1993 Issue:1 Volume:52 Page:41-62
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Sasaki Katsumi

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/BF01053063.pdf

Reference8 articles.

1. G. Genzen, Untersuchungen �ber das logische Schlissen,Mathematische Zeitschrift 39 (1934/35) pp. 176?210, 405 ? 431.

2. T. Hosoi On the axiomatic method and the algebraic method for dealing with propositional logics,Journal of Faculty of Science, University of Tokyo, Sec. I, 14 (1967), pp. 131?169.

3. T. Hosoi On intermediate logics I, Journal of Faculty of Science, University of Tokyo, Sec. I, 14 (1967), pp. 293?312.

4. T. Hosoi Pseudo two-valuded evaluation method for intermediate logics,Studia Logica 45 (1986), pp. 3?8.

5. T. Hosoi andK. Sasaki,Finite Logics and the simple substitution property,Bulletin of the Section of Logic 19 (1990), pp. 74?78.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS;The Journal of Symbolic Logic;2021-06

2. On the simple substitution property for superintuitionistic and modal propositional logics;Doklady Mathematics;2008-12

3. The simple substitution property for superintuitionistic propositional logics and its relation to the separability property;Izvestiya: Mathematics;2003-04-30

4. Generalized tableau systems for intermediate propositional logics;Lecture Notes in Computer Science;1997