Tesis doctoral de Gemma Robles Vazquez
Una lógica se denomina «positiva» si carece de negación. Decimos que una lógica tiene la «conversa de la propiedad ackermann» (cap) si en ella proposiciones necesitivas no implican proposiciones no necesitivas en sentido estricto entendidos estos términos en el sentido de anderson y belnap. En tercer lugar, una negación es «subintuicionista» si está incluida en la negación característica de la lógica intuicionista clásica tal y como la define heyting en los años treinta, o kripke semánticamente a comienzos de los años sesenta. esta tesis se compone esencialmente de dos partes. En la primera se estudia minuciosamente una serie de importantes lógicas positivas con la cap en espectro delimitado por la lógica implicativa mínima de anderson y belnap y la lógica superintuicionista lc de dummett. en la segunda parte se implementan estas lógicas con tres conceptos diferentes de negaciones submínimas. El primero de ellos es una negación mínima en el sentido clásico de johannson. El segundo consiste en añadir al anterior o bien el axioma o bien la regla de doble negación débil. El tercero es el resultado de añadir a los dos anteriores los axiomas o las reglas de «reductio» débil. la metodología utilizada es el cálculo axiomático en la sintaxis. En la semántica se emplea la semántica relacional ternaria. La negación se introduce mediante una constante de falsedad.
Datos académicos de la tesis doctoral «Negaciones subintuicionistas para logicas con la conversa de la propiedad ackermann«
- Título de la tesis: Negaciones subintuicionistas para logicas con la conversa de la propiedad ackermann
- Autor: Gemma Robles Vazquez
- Universidad: Salamanca
- Fecha de lectura de la tesis: 27/01/2006
Dirección y tribunal
- Director de la tesis
- Mendez Rodriguez José Manuel
- Tribunal
- Presidente del tribunal: alfredo (secretario) Burrieza muñiz
- lorenzo Peña gonzalo (vocal)
- José Miguel Saguillo fernandez vega (vocal)
- (vocal)