Skip to main content
Till KTH:s startsida Till KTH:s startsida

Publications by Tor Sandqvist

Refereegranskade

Artiklar

[1]
T. Sandqvist, "Preservation of structural properties in intuitionistic extensions of an inference relation," Bulletin of Symbolic Logic, vol. 24, no. 3, pp. 291-305, 2018.
[2]
T. Sandqvist, "Base-extension semantics for intuitionistic sentential logic," Logic journal of the IGPL (Print), vol. 23, no. 5, pp. 719-731, 2015.
[3]
T. Sandqvist, "Acceptance, inference, and the multiple-conclusion sequent," Synthese, vol. 187, no. 3, pp. 913-924, 2012.
[4]
T. Sandqvist, "The Subformula Property In Classical Natural Deduction Established Constructively," The Review of Symbolic Logic, vol. 5, no. 4, pp. 710-719, 2012.
[5]
T. Sandqvist, "Classical logic without bivalence," Analysis, vol. 69, no. 2, pp. 211-218, 2009.
[6]
T. Sandqvist, "Circularities in the Analysis of Counterfactuals," Studia Logica, vol. 73, no. March, pp. 281-298, 2003.
[7]
T. Sandqvist, "On Why the Best Should Always Meet," Economics and Philosophy, vol. 16, no. 2, pp. 287-313, 2000.

Konferensbidrag

[8]
T. Sandqvist, "Hypothesis-Discharging Rules in Atomic Bases," in DAG PRAWITZ ON PROOFS AND MEANING, 2015, pp. 313-328.

Kapitel i böcker

[9]
T. Sandqvist, "Reflections on the Empirical Applicability of Mathematics," in Technology and Mathematics, : Springer Nature, 2018, pp. 325-343.
[10]
T. Sandqvist, "Logica ex Nihilo," in Modality Matters : Twenty-five essays in honour of Krister Segerberg, Lagerlund, Lindström and Sliwinski Ed., Uppsala : Uppsala University, 2006, pp. 385-396.

Icke refereegranskade

Artiklar

[11]
T. Sandqvist, "Constructivity and Computability in Historical and Philosophical Perspective," Theoria, vol. 82, no. 4, pp. 379-382, 2016.

Avhandlingar

[12]
T. Sandqvist, "An Inferentialist Interpretation of Classical Logic," Doctoral thesis Uppsala : Uppsala Prints and Preprints in Philosophy, Uppsala Prints and Preprints in Philosophy, 2005:1, 2005.
Senaste synkning med DiVA:
2024-04-24 00:13:10