Relativized Propositional Calculus
classification
💻 cs.CC
keywords
calculuspropositionalrelativizedcompareddefinedproofsystems
read the original abstract
Proof systems for the Relativized Propositional Calculus are defined and compared.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.