Inference, Consequence, Implication: A Constructivist's Perspective
From MaRDI portal
Publication:4224766
DOI10.1093/philmat/6.2.178zbMath0922.03008OpenAlexW2328185575MaRDI QIDQ4224766
No author found.
Publication date: 11 October 1999
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/6.2.178
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items (4)
``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ The assertion-candidate and the meaning of mood ⋮ Buridan'sConsequentia: Consequence and Inference Within a Token-Based Semantics ⋮ The neglect of epistemic considerations in logic: the case of epistemic assumptions
This page was built for publication: Inference, Consequence, Implication: A Constructivist's Perspective
