The Craig interpolation theorem for prepositional logics with strong negation-Reference-Cited by-同舟云学术

The Craig interpolation theorem for prepositional logics with strong negation

Published:1985 Issue:3 Volume:44 Page:291-317
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Goranko Valentin

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

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

Reference15 articles.

1. ?. ?. ?????????, ????? ?? ?????? ? ????????? ???????????? ?????? ?? ??????????????? ?? ?????????? ????? ??? ????? ??????, ??? ????? ?????? 16, No. 6 (1977) ??. 643?681.

2. ?. ?. ??????, ???????? ?????? ??????, ????? ??????????????? ??? ? 5.3 (1950), ??. 187?188.

3. ?. ?. ????????, ?????? ???????? ?????????? ???????????? ? ????? ?? ??????????, ????? ?? AH CCCP 85 (1952), ??. 456?468.

4. ?. ?. ????????, ?????? ?? ??????????? ? ???? ?????????? ???????? ?? ???????????? ? ??? ???? ??????????, ??? ???? AH CCCP 85 (1952), ??. 686?692.

5. ?. ?. ????????, ?????? ???????? ?????????? ???????????? ? ????? ?? ??????????, ????? ???. ????????? ????? ???????? XXII (1964), ??. 195?227.

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

1. Fragments of quasi-Nelson: residuation;Journal of Applied Non-Classical Logics;2023-01-02

2. Constructive Logic with Strong Negation as a Substructural Logic;Journal of Logic and Computation;2008-12-12

3. On extensions of Nelson’s logic satisfying Dummett’s axiom;Siberian Mathematical Journal;2007-01

4. Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation;Studia Logica;2006-10-20

5. Transfer theorems for extensions of the paraconsistent Nelson logic;Algebra and Logic;2006-07