Confronting logical properties in a universal logic context

Authors

  • Hércules de Araújo Feitosa UNESP
  • Mauri Cunha do Nascimento UNESP
  • Luiz Henrique da Cruz Silvestrini UNESP

Keywords:

Logic. Consequence operator. Theory. Closure. Compacity. Deductibility.

Abstract

This paper presents a definition of universal logic in a strictly set-theoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.

Metrics

Metrics Loading ...

Published

2015-04-30

How to Cite

Feitosa, H. de A., Nascimento, M. C. do, & Silvestrini, L. H. da C. (2015). Confronting logical properties in a universal logic context. Cognitio: Revista De Filosofia, 15(2), 333–348. Retrieved from https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077

Issue

Section

Cognitio Papers