Logical Connectives
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. TWO-VALUED WEAK KLEENE LOGICS
Abstract In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the s
Manuscrito. Publicado em: 15/04/2019
-
2. La mecánica cuántica y la conceptualidad: materia, historias, semántica y espacio-tiempo
We elaborate the new interpretation of quantum theory that we recently proposed, according to which quantum particles are considered conceptual entities mediating between pieces of ordinary matter which are considered to act as memory structures for them. Our aim is to identify what is the equivalent for the human cognitive realm of what physical space-time
Sci. stud.. Publicado em: 2013-03
-
3. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
4. Semântica proposicional categórica
The basic concepts of what later became called category theory were introduced in 1945 by Samuel Eilenberg and Saunders Mac Lane. In 1940s, the main applications were originally in the elds of algebraic topology and algebraic abstract. During the 1950s and 1960s, this theory became an important conceptual framework in other many areas of mathematical researc
Publicado em: 2010
-
5. Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
This work has the purpose of establishing how far it is possible to develop the high school students skills concerning the power and the ability of using the rules of classical logic through activities that mobilize thoughts, using the logical connective: negation, conjunction, disjunction, implication, biconditional and quantitative. The logical reasoning,
Publicado em: 2008
-
6. Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
This work has the purpose of establishing how far it is possible to develop the high school students skills concerning the power and the ability of using the rules of classical logic through activities that mobilize thoughts, using the logical connective: negation, conjunction, disjunction, implication, biconditional and quantitative. The logical reasoning,
Publicado em: 2008
-
7. Uma teoria da verdade pragmatica : a quase-verdade de Newton C.A. da Costa
Alfred Tarki, in presenting his semantical conception of truth - a definition for formalized languages -, captured Aristotle s classical conception of truth - this one, a correspondencial truth conception. Mikenberg, da Costa and Chuaqui, introduced a formal conception of pragmatic truth - da Costa s quasi-truth -, based on the theories of truth of some prag
Publicado em: 2003
-
8. Minerador WEB: a study on mechanisms of discovery of information in the WEB. / Minerador WEB: um estudo sobre mecanismos de descoberta de informações na WEB.
The World Wide Web (Web) has a huge amount and a large diversity of informations. There is a big appeal to people navigate on the Web to search for a desired information. On the other hand, due to this huge amount of data, we are faced with the fundamental problems of how to discover and how to reach the desired information in a efficient way. If there is no
Publicado em: 2003