Results 1 to 10 of about 3,500,861 (360)
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
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
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
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
The expressive power of modal logic with inclusion atoms [PDF]
, 2015 Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Hella, Lauri, Stumpf, Johanna
core +2 more sources
On the Concept of a Notational Variant [PDF]
, 2017 In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro +14 more
core +1 more source
On the Solvability of Inductive Problems: A Study in Epistemic Topology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to prove that AGM-style belief revision is "universal", i.e., that every ...
Alexandru Baltag +2 more
doaj +1 more source