1. Concepción de la polivalencia lógica en la Escuela de Varsovia - Domínguez Prieto, Pablo
Lukasiewilz -destacado miembro de la escuela de Luovvarsovia es considerado el fundador de la lógica polivalente.

2. A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG - MARIA DO CARMO ELIAS ALVES
The use of declarative languages based in logic programming has been spread out due to the great interest in Artificial Intelligence.

3. Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação) - Tomas Andres Barrero Guzman
O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry.

4. Ejercicio sobre lógica booleana - Saiz Noeda, Maximiliano
Ejercicio para practicar los conceptos de lógica (Tema 2: ConceptosGenéricos).

5. Ejercicio sobre lógica booleana - Saiz Noeda, Maximiliano
Ejercicio para practicar los conceptos de lógica (Tema 2: ConceptosGenéricos).

6. Lógica sobre hoja de cálculo (Excel) - Saiz Noeda, Maximiliano
Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos) sobre una hoja de cálculo (por ejemplo, Excel).

7. Lógica sobre hoja de cálculo (Excel) - Saiz Noeda, Maximiliano
Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos) sobre una hoja de cálculo (por ejemplo, Excel).

8. Recursive logic frames - Shelah, Saharon; Väänänen, Jouko
We define the concept of a logic frame, which extends the concept of anabstract logic by adding the concept of a syntax and an axiom system.

9. Logic Without Syntax - Hughes, Dominic
Abstract propositions correspond to objects of the category G(Rel^L) where Gis the Hyland-Tan double glueing construction, Rel is the standard category ofsets and relations, and L is a set of literals.

10. Quantum logic as motivated by quantum computing - Dunn, J. Michael; Hagge, Tobias J.; Moss, Lawrence S.; Wang, Zhenghan
We explore a connection between quantum logic and quantum computing.

11. Locality for Classical Logic - Bruennler, Kai
In this paper we will see deductive systems for classical propositional andpredicate logic in the calculus of structures.

12. Classical Logic = Fibred MLL - Hughes, Dominic
This paper represents classical propositional proofs as *combinatorialproofs*, which are more abstract than proof nets: superposition(contraction/weakening) is modelled mathematically, as a lax form of fibration,rather than syntactically (as in proof nets, which involve contraction andweakening nodes).

13. Fuzzy Logic -- from MathWorld - Weisstein, Eric W.
An extension of two-valued logic such that statements need not be true or false, but may have a degree of truth between 0 and 1.

14. Lógica dinámica con operadores ambiguos - Artigas Prous, Josep
El almacenaje de Cooper es una técnica que ha sido desarrollada para tratar la ambigüedad semántica causada por el alcance de los cuantificadores.

15. Lógica dinámica con operadores ambiguos - Artigas Prous, Josep
El almacenaje de Cooper es una técnica que ha sido desarrollada para tratar la ambigüedad semántica causada por el alcance de los cuantificadores.

16. The Complexity of Fuzzy Logic - Goldstern, Martin
Lukasiewicz logic is a "fuzzy" logic in which truth value can be real numbersin the unit interval.

17. Tableaux e indução na lógica do plausível - Luiz Henrique da Cruz Silvestrini
Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo.

18. A teoria da lógica mental: e os estudos empíricos em crianças e adultos - Dias,Maria da Graça Bompastor Borges; Roazzi,Antonio
Discorremos sobre a teoria da lógica mental como hoje se apresenta, as controvérsias oriundas dos estudos que utilizam a Tabela de Verdade da Lógica Padrão e os estudos empíricos com crianças e adultos que dão suporte à lógica proposicional e à lógica predicativa.

19. Introduction to mathematical logic - A problem solving course - Miller, Arnold W.
Topics covered are: propositional logic axioms of ZFC wellorderings and equivalents of AC ordinal and cardinal arithmetic first order logic, and the compactness theorem Lowenheim-Skolem theorems Turing machines, Church's Thesis completeness theorem and first incompleteness theorem undecidable theories second incompleteness theorem.

20. Topological Completeness for Higher-Order Logic - Awodey, Steve; Butz, Carsten
Using recent results in topos theory, two systems ofhigher-order logic are shown to be complete with respect to sheafmodels over topological spaces---so-called ``topological semantics''.

Página de resultados:
1  2  3  4  5  6  7  8  9  10  Siguiente