skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search

Introdução à lógica intuicionista

Almeida, Fellipe Hernandes De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-08-04

Online access. The library also has physical copies.

  • Title:
    Introdução à lógica intuicionista
  • Author: Almeida, Fellipe Hernandes De
  • Supervisor: Fajardo, Rogerio Augusto dos Santos
  • Subjects: Álgebras De Heyting; Modelos De Kripke; Lógica Intuicionista; Lógica De Primeira Ordem; Reticulados; Kripke Models; Intuitionistic Logic; Heyting Algebras; First-Order Logic; Lattices
  • Notes: Dissertação (Mestrado)
  • Description: Realizamos uma revisão da bibliografia sobre a Lógica Intuicionista, em suas formas sentencial e de primeira ordem. Estudamos as estruturas algébricas utilizadas no estudo de sua semântica, e estudamos seu sistema de dedução natural. Apresentamos as estruturas de reticulados e álgebras de Heyting, e as utilizamos como ferramenta para o estudo da Lógica Sentencial Intuicionista e Lógica de Primeira Ordem Intuicionista.
  • DOI: 10.11606/D.45.2023.tde-03102023-053149
  • Publisher: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística
  • Creation Date: 2023-08-04
  • Format: Adobe PDF
  • Language: Portuguese
Links
Back to results list
Go to Previous pagePrevious Result  4 NextGo to Next page

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far