Implicit epistemic aspects of constructive logic
From MaRDI portal
Publication:1357674
DOI10.1023/A:1008266418092zbMath0873.03003MaRDI QIDQ1357674
Publication date: 26 October 1997
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
03F50: Metamathematics of constructive systems
Related Items
The Knowability Paradox in the Light of a Logic for Pragmatics, The epistemic significance of valid inference, ``Inference versus consequence revisited: inference, consequence, conditional, implication, The assertion-candidate and the meaning of mood, Semantic values for natural deduction derivations