Buscar
Mostrando ítems 31-40 de 54
Tigres azules of J. L. Borges. Logic, Truth and Impossible WorldsTigres azules de J. L. Borges. Lógica, verdad y mundos imposibles
(Universidad de Valparaíso, 2017)
Uma lógica do poucos
(Universidade Estadual Paulista (Unesp), 2011-09-09)
Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos ...
Uma lógica do poucos
(Universidade Estadual Paulista (Unesp), 2011-09-09)
Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos ...
On The Way To A Wider Model Theory: Completeness Theorems For First-order Logics Of Formal Inconsistency
(Cambridge University Press, 2014)
Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic
(Ergon-verlag Gmbh, 2015)
Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic
(Ergon-verlag Gmbh, 2015)
Constructible sets in lattice-valued models
(Universidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - MatemáticasFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2023)
We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s
work on Intuitionistic Kripke models of Set Theory.
Firstly, we consider constructable sets within valued models of Set Theory. ...