• español
    • English
  • English 
    • español
    • English
  • Login
Search 
  •   DSpace Home
  • Tesis
  • Tesis de Doctorado
  • Search
  •   DSpace Home
  • Tesis
  • Tesis de Doctorado
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Lógicas descriptivas 

Muñoz Toriz, Juan Pablo (Benemérita Universidad Autónoma de Puebla, 2017-01)
En nuestro proyecto de Maestría “Demostración automática de Teoremas” se crearon demostradores automáticos de fórmulas para lógica clásica, lógica intuicionista y algunas otras lógicas no clásicas. En nuestro afán por ...
Thumbnail

Semánticas para lógicas posibilistas 

Vélez Salazar, Rubén Octavio (Benemérita Universidad Autónoma de Puebla, 2015-06-05)
"En este trabajo comenzamos por explicar lo que entendemos por una lógica y explicamos las diferentes lógicas que utilizamos en esta tesis: la clásica, la intuicionista, la paraconsistente Cω y la posibilista. Todas estas ...
Thumbnail

Lógicas paraconsistentes genuinas 

Hernández Tello, Jesús Alejandro (2018-07)
“La definición de Paraconsistencia se fundamenta en rechazar o restringir el Principio de no Contradicción. En la lógica se ha optado por restringir este principio dando así lugar a la Lógica Paraconsistente. Debido a que ...
Thumbnail

Un estudio de la lógica CG´3 

Pérez Gaspar, Miguel (2018-09)
"Un punto de partida fundamental para ese proyecto, no obstante, y el análisis del desarrollo lógico-formal y conceptual de la ley lógica, conocida por su adagio latino, ex falso sequitur quodlibet, la cual establece ...
  • Benemérita Universidad Autónoma de Puebla
  • 4 sur 104 Centro Histórico C.P. 72000
  • Teléfono +52(222) 2295500 ext. 5013
  • Dirección General de Bibliotecas
  • Boulevard Valsequillo y Av. de las Torres
  • Ciudad Universitaria. Col. San Manuel
  • C.P. 72570
  • Teléfono +52 (222) 2295500 Ext 2901
Copyright © BUAP 2018. All right reserved.

ABOUT US

what are we?Responsible entityLicense and rights in metadataContentCommunities and collectionsPolicies and guidelines

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorHernández Tello, Jesús Alejandro (1)Muñoz Toriz, Juan Pablo (1)Pérez Gaspar, Miguel (1)Vélez Salazar, Rubén Octavio (1)Advisor
Arrazola Ramírez, José Ramón Enrique (4)
Cejudo Castilla, César (1)Martínez Ruiz, Iván (2)Villa Hernández, David (1)SubjectLógica simbólica y matemática (3)Lógica matemática no clásica (2)Física matemática (1)Inconsistencia (Lógica) (1)Inteligencia artificial--Modelos matemáticos (1)Kripke, Saul A., 1940- (1)Lenguajes de programación (Computadoras)--Semántica (1)Lógica descriptiva (1)Lógica difusa (1)Matemáticas--Terminología (1)... View MoreDisciplineÁrea de Ingeniería y Ciencias Exactas (3)Área de Ciencias Exactas (1)GrantorFacultad de Ciencias Físico Matemáticas (4)Career
Doctorado en Ciencias (Matemáticas) (4)
Date Issued2018 (2)2015 (1)2017 (1)TypeTesis de doctorado (3)Tesis (1)... View MoreHas File(s)Yes (4)
  • Benemérita Universidad Autónoma de Puebla
  • 4 sur 104 Centro Histórico C.P. 72000
  • Teléfono +52(222) 2295500 ext. 5013
  • Dirección General de Bibliotecas
  • Boulevard Valsequillo y Av. de las Torres
  • Ciudad Universitaria. Col. San Manuel
  • C.P. 72570
  • Teléfono +52 (222) 2295500 Ext 2901
Copyright © BUAP 2018. All right reserved.