Level Compactness

@article{Payette2006LevelC,
  title={Level Compactness},
  author={Gillman Payette and Blaine d'Entremont},
  journal={Notre Dame J. Formal Log.},
  year={2006},
  volume={47},
  pages={545-555}
}
The concept of compactness is a necessary condition of any system that is going to call itself a finitary method of proof. However, it can also apply to predicates of sets of formulas in general and in that manner it can be used in relation to level functions, a flavor of measure functions. In what follows we will tie these concepts of measure and compactness together and expand some concepts which appear in Blaine d'Entremont's master's thesis: Inference and Level. We will also provide some… 

References

SHOWING 1-6 OF 6 REFERENCES
Logic and Aggregation
TLDR
This essay tries to reassure potential consumers that it is not necessary to become a radical in order to use paraconsistent logic, and suggests (more modestly) that there is, at least sometimes, something else worth preserving, even in an inconsistent, unsatisfiable premise set.
Inference and necessity
Inference And Level
  • Philosophy
  • 1982
On Detonating
  • Paraconsistent Logic: Essays on the Inconsistent
  • 1989
Febuary). Measure. Online Encyclopedia: Planetmath.org
  • Febuary). Measure. Online Encyclopedia: Planetmath.org
  • 2006
E-mail address: GPAYETTE@dal.ca E-mail address: DENTREMO@gov.ns.ca Dalhousie University
  • E-mail address: GPAYETTE@dal.ca E-mail address: DENTREMO@gov.ns.ca Dalhousie University