Switch to: Citations

Add references

You must login to add references.
  1. ${\rm C}_1$ is not algebraizable.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 1991 - Notre Dame Journal of Formal Logic 32 (4):609-611.
  • On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
  • alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.
  • On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
  • Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.