Negation incompleteness and paraconsistency
Degree GrantorUniversity of Canterbury
Degree NameBachelor of Science
A formal axiomatised theory, as set out by Peter Smith, has three components: a formalised language, a decidable set of axioms, and a formalised proof-system. The language must consist of a finite set of symbols and have a defined syntax, according to which it is decidable what is a term or sentence of the language. The set of axioms will be a subset of the set of sentences constructable in the language, and it needs to be decidable what's an axiom. We must have a proof system whereby we can derive theorems from the axioms, and it must be decidable whether a given array of sentences does indeed constitute a proof in the theory.
SubjectsField of Research::01 - Mathematical Sciences
- Engineering: Reports