Implicit epistemic aspects of constructive logic
From MaRDI portal
Cited in
(24)- Truth and proof in intuitionism
- Dialogues, reasons and endorsement
- The epistemic significance of valid inference
- Deductive closure and epistemic context
- Constructive agents
- Implicit and explicit stances in logic
- On the logical philosophy of assertive graphs
- Persistence and minimality in epistemic logic
- The Knowability Paradox in the Light of a Logic for Pragmatics
- The seeming interdependence between the concepts of valid inference and proof
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
- Assertions and their justification: demonstration and self-evidence
- Spiritus asper versus lambda: on the nature of functional abstraction
- Semantic values for natural deduction derivations
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
- Explicit constructive logic ECL: a new representation of construction and selection of logical information by an epistemic agent
- scientific article; zbMATH DE number 6954655 (Why is no real title available?)
- The assertion-candidate and the meaning of mood
- scientific article; zbMATH DE number 2109248 (Why is no real title available?)
- Inference, Consequence, Implication: A Constructivist's Perspective
- scientific article; zbMATH DE number 3871346 (Why is no real title available?)
- Manifest of applied constructivism
- ``Inference versus consequence revisited: inference, consequence, conditional, implication
- The neglect of epistemic considerations in logic: the case of epistemic assumptions
This page was built for publication: Implicit epistemic aspects of constructive logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357674)
