Results 1 to 10 of about 3,261,962 (390)
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
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
Evolving to a New Dominant Logic for Marketing
, 2004 Marketing inherited a model of exchange from economics, which had a dominant logic based on the exchange of “goods,” which usually are manufactured output. The dominant logic focused on tangible resources, embedded value, and transactions.
S. Vargo, R. Lusch
semanticscholar +1 more source
Frontiers in Education, 2022 Positive student–teacher engagement that fosters independent and supported learning is the fulcrum for academic success. This paper investigates stakeholder opinions on the intrinsic importance of a democratic student–teacher relationship and autonomous ...
Logic Magwa, Kamleshie Mohangi
doaj +1 more source
Abstraction Logic: A New Foundation for (Computer) Mathematics [PDF]
arXiv, 2022 Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both as higher-order logic minus static types as well as predicate logic plus operators and variable binding.
arxiv
Adaptive logic characterizations of input/output logic [PDF]
, 2016 We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-
Beirlaen, Mathieu +2 more
core +2 more sources
TOCS, 1990 Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been extremely error prone.
M. Burrows, M. Abadi, R. Needham
semanticscholar +1 more source