A General Method for the Evaluation of Degree of Completeness,

Abstract

Substitution rule type formalizations of propositional calculi without constants are derived from existing axiom scheme type formalizations.

Document Details

Document Type
Technical Report
Publication Date
May 01, 1983
Accession Number
ADP002354

Entities

People

  • A. Rose

Organizations

  • University of Nottingham