Buscas alternativas:
propositional » proposition (Expandir a busca), propositions (Expandir a busca), proportional (Expandir a busca)
logic » logica (Expandir a busca)
propositional » proposition (Expandir a busca), propositions (Expandir a busca), proportional (Expandir a busca)
logic » logica (Expandir a busca)
1
2
“... egalitarianism, we study T-conorm and OWA operators from the Fuzzy Logic literature, and from sufficientarianism...”
Propositional belief merging and distributive justice
Tese
3
Assuntos:
“...Argumentative and propositional logic...”
A lógica e o desenvolvimento do raciocínio
Dissertação
4
Assuntos:
“...[en] PROPOSITIONAL LOGIC...”
[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
Tese
5
Assuntos:
“...Lógica matemática...”
ASA-CALCPRO: uma ferramenta de cálculo proposional e sua utilização no ensino
Dissertação
6
Assuntos:
“...Paraconsistent propositional logic...”
Sobre a lógica da verdade pragmática em cálculo de sequentes
Dissertação
7
8
9
Assuntos:
“...Formal and propositional logic...”
Ensino de lógica formal e proposicional para estudantes do ensino técnico integrado ao médio...
Tese
10
Assuntos:
“...Lógica matemática...”
Teoria de Categorias: uma semântica categorial para linguagens proposicionais
Dissertação
11
12
Assuntos:
“...Propositional Problem Solving Logic (LRP)...”
Uma lógica proposicional de resolução de problemas.
Dissertação
13
Assuntos:
“...[en] PROPOSITIONAL MINIMAL IMPLICATIONAL LOGIC...”
[pt] SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL
Tese
14
Assuntos:
“...Propositional logic...”
Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Dissertação
15
Assuntos:
“...Inductive logic programming...”
Ontoilper: an ontology- and inductive logic programming-based method to extract instances of entities and relations from texts
Tese
16
Assuntos:
“...Logic, Symbolic and Mathematical...”
Noções de lógica e técnicas de demonstração
Dissertação
17
Assuntos:
“...[en] FINITE-VALUED PROPOSITIONAL LOGIC...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
18
Assuntos:
“...Lógica infinito-valorada de Lukasiewicz...”
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Tese