Search

Now showing items 11-20 of 40

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)

Paraconsistencia e modalidadeParaconsistency and modality

Monte, Daniel Liberalino ([s.n.], 2009)

Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo

Bueno-Soler, Juliana, 1976- ([s.n.], 2009)

Non-deterministic matrices = theory and applications to algebraic semantics = Non-deterministic matrices: theory and applications to algebraic semanticsNon-deterministic matrices : theory and applications to algebraic semantics

Golzio, Ana Claudia de Jesus, 1985- ([s.n.], 2017)

Many-valued Logics And Translations

D'Ottaviano I.M.L.; Feitosa H.D.A. (, 1999)

Conservative Translations

Feitosa H.A.; D'Ottaviano I.M.L. (, 2001)

Frege e as Leis da Aritmética: do ideal de fundamentação ao paradoxo

Coury, Aline Germano Fonseca (Universidade Federal de São CarlosUFSCarPrograma de Pós-graduação em EducaçãoCâmpus São Carlos, 2015-07-08)

Since the end of the nineteenth century and early twentieth century, some scholars such as Frege, Russell, Dedekind, Wittgenstein, among others, started to seek the foundations of the mathematics. Specifically, Frege ...

Combining Valuations With Society Semantics

Fernandez V.L.; Coniglio M.E. (, 2003)

Polynomizing: Logic Inference In Polynomial Format And The Legacy Of Boole

Carnielli W. (, 2007)

1
2
3
4