Results 31 to 40 of about 147,987 (297)
A Note on the Relevance of Semilattice Relevance Logic
The Australasian Journal of Logic, 2023 A propositional logic has the variable sharing property if φ →ψ is a theorem only if φ and ψ share some propositional variable(s). In this note, I prove that positive semilattice relevance logic (R+u) and its extension with an involution negation (R¬u) have the variable sharing property (as these systems are not subsystems of R, these results are not ...
openaire +2 more sources
Logic as (Normative) Inference Theory: Formal vs. Non-formal Theories of Inference Goodness
Informal Logic, 2009 I defend a conception of Logic as normative for the sort of activities in which inferences super-vene, namely, reasoning and arguing. Toulmin’s criticism of formal logic will be our framework to shape the idea that in order to make sense of Logic as ...
Lilian Bermejo-Luque
doaj +1 more source
Model of fuzzy logic application to the assessment of risk in overcoming the water obstacles during an army defensive operation [PDF]
Војно дело, 2015 Assessment of risk in overcoming the water obstacles during a defensive operation of the Army forces is an important factor for the successful execution of the mission.
Božanić Darko I. +2 more
doaj +1 more source
Learning Computing from Nature: Reflection on the Klein Four-Group
Proceedings, 2022 Information integration has been considered the key characteristic of the mechanism of consciousness. However, the mechanism of integration remains unknown. Integration can be considered in terms of the factorization of mathematical structures.
Marcin J. Schroeder
doaj +1 more source
The European Journal of Humour Research, 2014 It has often been remarked that jokes involve some form of distorted logic, but the details of this joke logic have not been fully explored. We offer a contribution to the methodology of this exploration by clarifying some abstract theoretical ...
Graeme Ritchie
doaj +3 more sources
Lindstrom theorems for fragments of first-order logic [PDF]
Logical Methods in Computer Science, 2009 Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem +2 more
doaj +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Toward an Epistemic-Logical Theory of Categorization [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes.
Willem Conradie +5 more
doaj +1 more source
The Logical Pragmatics of Arguments in Argumentation
مجلة كلية التربية للبنات, 2022 Logic is understood so far as a product perspective, either formal or informal. The topic is still, though interesting, imprecise, sketchy and problematic. Besides, the relevance of logic to linguistics has not been explained.
Waleed Ridha Hammoodi Al-Jwaid +1 more
doaj +1 more source