Switch to: References

Add citations

You must login to add citations.
  1. Extending Metacompleteness to Systems with Classical Formulae.Ross T. Brady - 2010 - Australasian Journal of Logic 8:9-30.
    In honour of Bob Meyer, the paper extends the use of his concept of metacompleteness to include various classical systems, as much as we are able. To do this for the classical sentential calculus, we add extra axioms so as to treat the variables like constants. Further, we use a one-sorted and a two-sorted approach to add classical sentential constants to the logic DJ of my book, Universal Logic. It is appropriate to use rejection to represent classicality in the one-sorted (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation