Tor Sandqvist

From MaRDI portal
Person:383067

Available identifiers

zbMath Open sandqvist.torMaRDI QIDQ383067

List of research outcomes





PublicationDate of PublicationType
Hypothesis-Discharging Rules in Atomic Bases2020-02-04Paper
Reflections on the Empirical Applicability of Mathematics2019-11-27Paper
Base-extension semantics for intuitionistic sentential logic2019-01-08Paper
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION2018-10-26Paper
Acceptance, inference, and the multiple-conclusion sequent2013-11-25Paper
THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY2013-01-10Paper
Classical logic without bivalence2012-11-09Paper
Circularities in the analysis of counterfactuals2003-05-06Paper

Research outcomes over time

This page was built for person: Tor Sandqvist

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:383067&oldid=7126489"
Powered by MediaWiki