Negaciones subintuicionistas para logicas con la conversa de la propiedad ackermann

Tesis doctoral de Gemma Robles Vazquez Una lógica se denomina «positiva» si carece de negación. Decimos que una lógica tiene […]

, , , ,