Search

Now showing items 1-10 of 17

Conectivos de restauração localLocal restoration connectives

Corbalán, María Inés, 1978- ([s.n.], 2012)

Lógicas de inconsistência formal e não-monotonicidadeLogics of formal inconsistency and nonmonotonicity

Cholodovskis, Ana Flávia de Faria, 1988- ([s.n.], 2014)

Sistemas, pressuposições e implicaturas = uma investigação exploratória, lógica e filosóficaSystems, presuppositions and implicatures : an exploratory, logical and philosophical investigation

Oliveira, Antonio Marmo da Cunha, 1969- ([s.n.], 2011)

Fibrilação de logicas na hierarquia de Leibniz

Fernández, Victor Leandro ([s.n.], 2005)

Sobre os fundamentos de programação lógica paraconsistenteOn the foundations of paraconsistent logic programming

Rodrigues, Tarcísio Genaro ([s.n.], 2010)

Entre o racional e o justo : a logica e as sentenças judiciaisBetween rationality and justice : logic and judicial decisions

Gomes, Fabricio Vasconcelos ([s.n.], 2008)

Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis

Reis, Teofilo de Souza ([s.n.], 2008)

Uma nova abordagem para a noção de quase-verdadeA new approach to the concept of quase-truth

Silvestrini, Luiz Henrique da Cruz ([s.n.], 2011)

Dedução natural rotulada para lógicas modais e multimodaisLabelled natural deduction for modal and multimodal logics

Almeida, Dante Cardoso Pinto de, 1984- ([s.n.], 2017)

Revisão de Crenças Paraconsistente baseada em um operador formal de consistênciaParaconsistent Belief Revision based on a formal consistency operator

Testa, Rafael Rodrigues, 1982- ([s.n.], 2014)

1
2