research

Relativized Propositional Calculus

Authors
Publication date
1 January 2012
Publisher
View on arXiv

Abstract

Proof systems for the Relativized Propositional Calculus are defined and compared.Comment: 8 page

    Similar works

    Full text

    thumbnail-image

    Available Versions

    CiteSeerX

    redirect
    oaioai:CiteSeerX.psu:10.1.1.753.2...
    Last time updated on 30/10/2017