Results 31 to 40 of about 4,242,976 (194)
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 +3 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
Belief-Logic Conflict Resolution in Syllogistic Reasoning: Inspection-Time Evidence for a Parallel-Process Model [PDF]
, 2008 An experiment is reported examining dual-process models of belief bias in syllogistic reasoning using a problem complexity manipulation and an inspection-time method to monitor processing latencies for premises and conclusions.
Stupple, Edward J. N. +3 more
core +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
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
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 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
Logical Relevance in Ontologies. [PDF]
, 2012 Most ontology development environments (ODEs) are term oriented and take a frame-based view of the information in an ontology about a given term. Even tools, such as Protégé 4, designed for axiom oriented development preserve the frame-based view as the central mode of interaction with the ontology.
Del Vescovo, Chiara +2 more
openaire +4 more sources