Results 11 to 20 of about 2,799,711 (314)
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 +6 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
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
Intuitionistic Logic is a Connexive Logic
Studia Logica, 2023 AbstractWe show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is ...
davide fazio +2 more
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
Complementary Symmetry Nanowire Logic Circuits: Experimental Demonstrations and in Silico Optimizations [PDF]
, 2008 Complementary symmetry (CS) Boolean logic utilizes both p- and n-type field-effect transistors (FETs) so that an input logic voltage signal will turn one or more p- or n-type FETs on, while turning an equal number of n- or p-type FETs off.
Heath, James R. +3 more
core +1 more source
On Argumentation Logic and Propositional Logic [PDF]
Studia Logica, 2017 This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory.
Kakas, Antonis C. +5 more
openaire +5 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