Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

94

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

15 years 7 months ago

Elimination of Negation in a Logical Framework

Download reports-archive.adm.cs.cmu.edu

Alberto Momigliano

Real-time Traffic

Automated Reasoning | CSL 2000 |

claim paper

Related Content

» Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination

» An Algorithm for Local Variable Elimination in Normal Logic Programs

» Abducing through negation as failure stable models within the independent choice logic

» Coinductive Logic Programming with Negation

» Structural Cut Elimination

» Hybrid Probabilistic Logic Programs with Nonmonotonic Negation

» Generic Modal Cut Elimination Applied to Conditional Logics

» Optimal Tableaux for Conditional Logics with Cautious Monotonicity

» Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Pr...

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	CSL
Authors	Alberto Momigliano

Comments (0)