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...
- 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