Results 1 to 10 of about 2,726,344 (283)
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
Informal Logic, 2022 In the issue, Michael Gilbert first considers the history and development of his theory before Leo Groarke helpfully clarifies the differences and affinities between multi-modal and multimodal argumentation.
Informal Logic
doaj +1 more source
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
Experimental validation of a CeBr3 gamma-ray logging probe MCNP model [PDF]
EPJ Web of Conferences, 2023 Orano Mining has relied on Nuclear Measurement Laboratories for several years to estimate calibration factors for borehole radiometric probes. The total gamma count rate recorded with a NaI(Tl) scintillation detector (NGRS probe) is converted into ...
Marchais Thomas +11 more
doaj +1 more source
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 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