Results 131 to 140 of about 854,026 (193)
Quantum error correction of qudits beyond break-even. [PDF]
NatureBrock BL +7 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2022
To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges.
Alex Citkin, Alexei Muravitsky
openaire +2 more sources
To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges.
Alex Citkin, Alexei Muravitsky
openaire +2 more sources
Bulletin of Symbolic Logic, 1997
Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes.
openaire +2 more sources
Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes.
openaire +2 more sources
Reinflating Logical Consequence
Journal of Philosophical Logic, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Logicism and Logical Consequence
2020AbstractAccording to Crispin Wright’s neo-logicist reconstruction of Frege’s philosophy of arithmetic, the truths of arithmetic are logical consequences, in the semantic sense, of second-order logic, augmented with an analytic axiom (Hume’s Principle). Neo-logicism thus views arithmetic truths as analytic, being the logical consequences of an analytic ...
openaire +1 more source