Resolution In The Resolution In The Calculus Of Structures Alessio Guglielmi (Tu Dresden) It is...  Home/Search
Context
Related
| cs.bath.ac.uk/ag/p/AG10.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: nctive normal form, is obtained in SKSg as 2 i# -------------------------------- [([aa],R,T),(a,R),(a,T),U] s;s -------------------------------- [(a,R),(a,T),(a,R),(a,T),U] c#;c# -------------------------------- . Proving the structure Q by h resolution steps means finding a proof t . . . [ t,P] r# ----- h-1 . . . r# --- , Where P is in disjunctive normal form. A refutation by resolution is simply obtained by top-down flipping the derivation above. This means that both... (Update)
Active bibliography (related documents): More All
0.5: Resolution In The Calculus Of Structures - Guglielmi (2003) (Correct)
0.2: Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
0.1: Mismatch - Guglielmi (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ the-unknown,
author = "Resolution In The",
title = "Unknown",
url = "citeseer.ist.psu.edu/741523.html" }
Citations (may not include all citations):340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
39 Deep inference and symmetry in classical proofs (context) - Brnnler - 2003
26 volume 43 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Troelstra, Schwichtenberg et al. - 1996
14 URL: http://www (context) - Guglielmi, Manuscript - 2003
8 Gentzen-type systems and resolution rules Part I Proposition.. (context) - Mints - 1990
4 A Finitary System for First Order Logic (context) - Brnnler, Guglielmi - 2003
http://alessio.guglielmi.name/res/cos
Documents on the same site (http://alessio.guglielmi.name/res/cos/index.html): More
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005) (Correct)
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC