Results 11 to 20 of about 266,648 (159)
On logicality and natural logic [PDF]
Natural Language Semantics, 2021 AbstractIn this paper we focus on the logicality of language, i.e. the idea that the language system contains a deductive device to exclude analytic constructions. Puzzling evidence for the logicality of language comes from acceptable contradictions and tautologies. The standard response in the literature involves assuming that the language system only
Pistoia-Reda, Salvatore +2 more
openaire +5 more sources
Logical Step-Indexed Logical Relations [PDF]
Logical Methods in Computer Science, 2009 Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However, proofs using step-indexed models typically involve tedious, error-prone, and proof-obscuring step ...
Dreyer, Derek +2 more
openaire +7 more sources
Chain logic and Shelah’s infinitary logic [PDF]
Israel Journal of Mathematics, 2021 Comment: This version is the final autors' version.
Džamonja, Mirna, Väänänen, Jouko
openaire +4 more sources
Logicism in Logical Empiricism
, 2021 Logicism presents one of the cornerstones of logical empiricism. At the same time, the views defended by Carnap, Hahn, and Hempel, among others, differ significantly from Frege’s original thesis. The present chapter will focus on several accounts of logicism developed in logical empiricism between 1920 and 1940. The aim here is twofold.
openaire +3 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Informal Logic referees 2011-2012
Informal Logic, 2013 The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
Informal Logic Editors
doaj +3 more sources
Interconnected magnetic tunnel junctions for spin-logic applications
AIP Advances, 2018 With the rapid progress of spintronic devices, spin-logic concepts hold promises of energy-delay conscious computation for efficient logic gate operations.
Mauricio Manfrini +18 more
doaj +1 more source
The Court Tradition of Japan in Konjaku Monogatarishū
Ежегодник Япония, 2023 Among the literary works of the Heian era (late 8th – 12th centuries), Tales of Times Now Past (Konjaku Monogatarishū, 1120s) is notable for covering a much broader range of characters than kagami historical texts, monogatari tales, early gunki ...
N. N. Trubnikova, M. S. Kolyada
doaj +1 more source
Smart Charging of Electric Vehicles Considering SOC-Dependent Maximum Charging Powers
Energies, 2021 The aim of this work is to schedule the charging of electric vehicles (EVs) at a single charging station such that the temporal availability of each EV as well as the maximum available power at the station are considered. The total costs for charging the
Benjamin Schaden +3 more
doaj +1 more source
mAbs, 2023 Prolactin (PRL) has recently been demonstrated to elicit female-selective nociceptor sensitization and increase pain-like behaviors in female animals.
Stephanie Maciuba +13 more
doaj +1 more source