Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction

Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert’s style of proof and Gentzen’s deductive systems. In this context we call it CED (Calculus of Equational Deduction). This deductive method promotes logical equiva...

Full description

Autores:
Bohórquez, Jaime
Tipo de recurso:
Article of journal
Fecha de publicación:
2008
Institución:
Escuela Colombiana de Ingeniería Julio Garavito
Repositorio:
Repositorio Institucional ECI
Idioma:
eng
OAI Identifier:
oai:repositorio.escuelaing.edu.co:001/1910
Acceso en línea:
https://repositorio.escuelaing.edu.co/handle/001/1910
Palabra clave:
Estilo de cálculo
Deducción ecuacional
Lógica intuicionista
calculational style
equational deduction
Intuitionistic logic
Rights
openAccess
License
http://purl.org/coar/access_right/c_abf2