Mathware & soft computing, 1998 An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].
openaire +3 more sources
Infusing Expert Knowledge Into a Deep Neural Network Using Attention Mechanism for Personalized Learning Environments. [PDF]
Front Artif Intell, 2022 Tato A, Nkambou R.
europepmc +1 more source
Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference. [PDF]
Brain Inform, 2023 Salto F +5 more
europepmc +1 more source
Counterfactual Logic and the Necessity of Mathematics [PDF]
This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is ...
Elgin, Samuel
core
"Similia Similibus Curentur": The scientific grounding of the homeopathic therapeutic principle through the systematic study of the rebound effect of modern drugs. [PDF]
Clinics (Sao Paulo), 2022 Teixeira MZ.
europepmc +1 more source
Flexible Acceptance Condition of Generics from a Probabilistic Viewpoint: Towards Formalization of the Semantics of Generics. [PDF]
J Psycholinguist Res, 2022 Ryu SH, Yang W, Park JC.
europepmc +1 more source
Credence for Epistemic Discourse [PDF]
Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state.
Santorio, Paolo
core
Natural Implication and Modus Ponens Principle
Logical Investigations, 2015 In [6] the definition of natural implication was introduced. One of the criteria for naturalimplication is the normality of logical matrix [2, p. 134], a condition sufficient for verification of modus ponens. In this paper two definitions of modus ponens are regarded: in the designation-preserving sense and in the tautologousness-preserving sense ...
openaire +2 more sources
Sui controesempi al Modus Ponens
, 2011 In McGee (1985) si presentano tre controesempi al modus ponens (MP), e si argomenta di come esistano restrizioni alla validità di questa regola deduttiva. Nel presente articolo, intendo ridiscutere questi tre controesempi a MP mostrando perché non colgono il bersaglio, e presentare altri casi in cui l'applicazione di MP non sembra efficace.
openaire +2 more sources
A Canonical Model for Interactive Unawareness [PDF]
Heifetz, Meier and Schipper (2005) introduced a generalized state-space model that allows for non-trivial unawareness among several individuals and strong properties of knowledge. We show that this generalized state-space model arises naturally if states
Aviad Heifetz +2 more
core