Tor Sandqvist
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Hypothesis-discharging rules in atomic bases Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
| Reflections on the empirical applicability of mathematics Philosophy of Engineering and Technology | 2019-11-27 | Paper |
| Base-extension semantics for intuitionistic sentential logic Logic Journal of the IGPL | 2019-01-08 | Paper |
| Preservation of structural properties in intuitionistic extensions of an inference relation The Bulletin of Symbolic Logic | 2018-10-26 | Paper |
| Acceptance, inference, and the multiple-conclusion sequent Synthese | 2013-11-25 | Paper |
| THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY The Review of Symbolic Logic | 2013-01-10 | Paper |
| Classical logic without bivalence Analysis | 2012-11-09 | Paper |
| Circularities in the analysis of counterfactuals Studia Logica | 2003-05-06 | Paper |
Research outcomes over time
This page was built for person: Tor Sandqvist
