Dialogues as a Foundation for Intuitionistic Logic
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- From Axiom to DialoguePublished by Walter de Gruyter GmbH ,1982
- ÜBERLEGUNGEN ZUM PRAGMATISCHEN UND ZUM ARGUMENTATIVEN FUNDAMENT DER LOGIKPublished by Walter de Gruyter GmbH ,1978
- First-Order LogicPublished by Springer Nature ,1968
- Formale LogikPublished by Walter de Gruyter GmbH ,1967
- Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.Notre Dame Journal of Formal Logic, 1964