Cut Elimination for First Order Gödel Logic by Hyperclause Resolution-Reference-Cited by-同舟云学术

Cut Elimination for First Order Gödel Logic by Hyperclause Resolution

Published:2008 Issue: Volume: Page:451-466
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Baaz Matthias,Ciabattoni Agata,Fermüller Christian G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89439-1_32

Reference22 articles.

1. Avron, A.: Hypersequents, Logical Consequence and Intermediate Logics for Concurrency. Annals of Mathematics and Artificial Intelligence 4, 225–248 (1991)

2. Avron, A.: The Method of Hypersequents in Proof Theory of Propositional Non-Classical Logics. In: Logic: From Foundations to Applications, pp. 1–32. Clarendon Press (1996)

3. Lecture Notes in Computer Science;M. Baaz,2002

4. Lecture Notes in Computer Science;M. Baaz,2001

5. Baaz, M., Hetzl, S., Leitsch, A., Richter, C., Spohr, H.: CERES: An Analysis of Fürstenberg’s Proof of the Infinity of Primes. Theoretical Computer Science (to appear)

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

1. Ceres in intuitionistic logic;Annals of Pure and Applied Logic;2017-10

2. Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination;Studia Logica;2015-05-10

3. Optimization in temporal qualitative constraint networks;Acta Informatica;2015-04-16

4. Proof theory of witnessed Gödel logic: A negative result;Journal of Logic and Computation;2013-09-04

5. CERES in higher-order logic;Annals of Pure and Applied Logic;2011-12