Cover Image

Sobre a existência de semântica finita para os fragmentos da lógica intuicionista

Em um artigo de 1932, Gödel prova que a lógica proposicional intuicionista não pode ser vista como um sistema lógico multivalorado finito. Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a todas as fórmulas intuicionistas deriváveis, e somente essas, u...

Full description

Saved in:

Bibliographic Details
Main Authors:	Albarelli, Felipe de Souza, Biraben, Rodolfo Cristian Ertola
Format:	Online
Language:	Portuguese
Published:	Universidade Estadual de Campinas 2019
Subjects:	Lógica intuicionista Lógica multivalorada Fragmentos da lógica intuicionista.
Online Access:	https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/409
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Revisitando a Lógica de Dunn-Belnap
by: Blasio, Carolina
Published: (2017)

Un desafío para las teorías cognitivas de la competencia lógica: los fundamentos pragmáticos de la semántica de la lógica linear
by: Rahman, Sharid
Published: (2016)

Lógica, linguagem e filosofia
by: Viero, Arno Aurélio
Published: (1999)

Lógica en razonamiento : razonamiento práctico
by: Larrazabal Antía, Jesús María, et al.
Published: (1994)

Consecuencia lógica: la perspectiva tarskiana inicial
by: Seoane, José
Published: (2016)

The dialogical roots of deduction: historical, cognitive and philosophical perspectives on reasoning
by: Mendonça, Bruno Ramos, et al.
Published: (2021)

UMA NOTA SOBRE A LÓGICA FORMAL DE KANT
by: Santos, Pedro
Published: (2015)

On the alleged error of formal objections to normative error theory
by: Joaquin, Jeremiah Joven, et al.
Published: (2023)

Implementação de função objetivo para protocolo RPL baseada em lógica fuzzy com foco em desempenho e eficiência energética em redes IoT
by: Santolim, Victor, et al.
Published: (2019)

On a new approach to peirce’s three-value propositional logic
by: Salatiel, José Renato, et al.
Published: (2023)

Beyond the limits of thought
by: Evnine, Simon
Published: (1997)

PREDICAÇÃO E EXTENSÃO CONCEITUAL EM KANT: PROBLEMAS
by: Fonseca, Renato Duarte
Published: (2015)

On ‘almost all’ and some presuppositions
by: Veloso, Paulo Augusto Silva
Published: (1999)

Logicism : Fregean and Neo-Fregean
by: Ruffino, Marco Antonio Caron
Published: (1998)

A categorial aproach to the combination of logics
by: Carnielli, Walter Alexandre, et al.
Published: (1999)

La concepciòn de demonstraciòn de Oswaldo Chateaubriand
by: Casanave, Abel Lassalle
Published: (1999)

The metaphysical basis of logic
by: Epstein , Richard L.
Published: (1999)

Ruth Barcan Marcus est-elle la mère du fils de Wittgenstein? (considerations existencialistes sur la formule de Barcan)
by: Béziau, Jean-Yves
Published: (1999)

Logic and formal ontology
by: Smith, Barry
Published: (2016)

LENGUAJE, LÓGICA Y ONTOLOGÍA EN LA PERSPECTIVA DE OSWALDO CHATEAUBRIAND
by: Esquisabel, Oscar M.
Published: (2015)

Contingency logics and propositional quantification
by: Pizzi, Claudio
Published: (1999)

Conservative translations and model-theoretic translations
by: D’Ottaviano, Itala Maria Loffredo, et al.
Published: (1999)

A CARACTERIZAÇÃO DA LÓGICA PELA FORÇA ASSERTÓRICA EM FREGE. RESPOSTA A MARCO RUFFINO
by: Greimann, Dirk
Published: (2015)

Moore’s paradox and the logic of belief
by: Páez, Andrés, et al.
Published: (2020)

Conflicts in futsal and handball games: praxiological reflections
by: Marques, Rodrigo Gonçalves Vieira, et al.
Published: (2020)

Husserl's conception of logic
by: Silva, Jairo José da
Published: (1999)

Contra la condenación universal de los argumentos ad hominem
by: Ramón Cabrera, Julio
Published: (1992)

O problema do psicologismo na teoria do juízo de Kant
by: Dias de Almeida, Ricardo
Published: (2014)

Selected Manuscripts on Logic and its Philosophy
by: Rahman, Sharid
Published: (2016)

Logiques classiques et non classiques. Essai sur les fondements de la logique
by: Carnielli, Walter Alexandre
Published: (2016)

Logic and cognitive science : Frege's anti-psychologism
by: Oliveira , Marcos Barbosa de
Published: (1994)

Información y bases de datos situadas
by: Migura, Fernando
Published: (1996)

Proposta de revisão epistemológica da teoria da arquitetura de John Ruskin
by: Amaral, Claudio Silveira
Published: (2015)

Banco do Brasil and symbolic constructions on the idea of nation : reflections on cultural and business logic
by: Rodrigues, Lea Carvalho, et al.
Published: (1998)

A lógica do Tractarus
by: Cuter, João Vergílio Gallerani
Published: (2016)

Memória científica de Andrea Loparic: caminhando entre a lógica e a militância
by: Romero, Marina Ribeiro, et al.
Published: (2024)

A ideografia do tractatus logico-philosophicus e funções recursivas primitivas
by: Lopes, Felipe Oliveira Araújo
Published: (2016)

ACCIÓN, HECHO Y SUCESSO
by: Barrero, Tomás
Published: (2015)

Amorphous models
by: Weaver, George, et al.
Published: (1999)

A institucionalização da lógica das competências no Brasil
by: Machado, Lucília
Published: (2016)