On the semantics of classical disjunction-Reference-Cited by-同舟云学术

On the semantics of classical disjunction

Published:2001-05 Issue:2-3 Volume:159 Page:315-338
ISSN:0022-4049
Container-title:Journal of Pure and Applied Algebra
language:en
Short-container-title:Journal of Pure and Applied Algebra

Author:

Pym David,Ritter Eike

Publisher

Elsevier BV

Subject

Algebra and Number Theory

Reference28 articles.

1. Elements of Intuitionism;Dummett,1980

2. Control operators, the SECD-machine and the λ-calculus;Felleisen,1996

3. M. Felleisen, The calculi of lambda-v-CS conversion: a syntactic theory of control and state in imperative higher-order programming languages, Ph.D. Dissertation, Department of Computer Science, Indiana University, IN, 1987.

4. M. Felleisen, R. Hieb, The revised report on the syntactic theories of sequential control and state, Theoret. Comput. Sci. 103(2) 235–271.

5. G. Gentzen, Untersuchungen über das logische Schliessen, Math. Zeit. (1934) 176–210, 405–431.

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

1. Defining Logical Systems via Algebraic Constraints on Proofs;Journal of Logic and Computation;2023-11-24

2. A proof-theoretic analysis of the classical propositional matrix method;Journal of Logic and Computation;2012-11-21

3. On semantics of a term calculus for classical logic;Publications de l'Institut Math?matique (Belgrade);2012

4. An approach to call-by-name delimited continuations;ACM SIGPLAN Notices;2008-01-14

5. An approach to call-by-name delimited continuations;Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08;2008