Falsification, natural deduction and bi-intuitionistic logic-Reference-Cited by-同舟云学术

Falsification, natural deduction and bi-intuitionistic logic

Published:2013-07-17 Issue:1 Volume:26 Page:425-450
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:J Logic Computation

Author:

Wansing Heinrich

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/26/1/425/7952117/ext035.pdf

Reference52 articles.

1. Constructible falsity and inexact predicates

2. A constructive analysis of RM

3. Hypersequents, logical consequence and intermediate logics for concurrency

4. Avron A. The method of hypersequents in proof theory of propositional non-classical logics. In: Hodges W. Hyland M. Steinhorn C. Truss J. , editors. Logic: From Foundations to Applications. Oxford Science Publications; 1996. p. 1-32.

5. Avron A. Negation: two points of view. In: Gabbay D. Wansing H. , editors. What is Negation? Kluwer Academic Publishers; 1999. p. 3-22.

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

1. Connexive Exclusion;Erkenntnis;2024-08-27

2. Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics;Journal of Logic, Language and Information;2024-04-29

3. Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations;Journal of Logic and Computation;2024-04-01

4. A General Schema for Bilateral Proof Rules;Journal of Philosophical Logic;2024-03-02

5. Symmetric and conflated intuitionistic logics;Logic Journal of the IGPL;2024-03-01