Results 1 to 10 of about 200,649 (250)
Analytic Tableaux for Simple Type Theory and its First-Order Fragment [PDF]
Logical Methods in Computer Science, 2010 We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction and higher-order variables.
Chad E. Brown, Gert Smolka
doaj +3 more sources
A system for deduction-based formal verification of workflow-oriented software models
International Journal of Applied Mathematics and Computer Science, 2014 The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered.
Klimek Radosław
doaj +3 more sources
Logical Pluralism: Where the Conflict Really Lies [PDF]
حکمت و فلسفهRecent years have seen a surge of attention to the problem of logical pluralism; most of which has been a reaction to Beall and Restall’s account of logical pluralism as the existence of more than one equally correct semantic relation of logical ...
Mohammad Mohsen Haeri, Davood Hoseini
doaj +4 more sources
Frontiers in Psychology, 2023 IntroductionReasoning is a complex form of human cognition whose nature has long been debated. While a number of neurocognitive mechanisms for deductive reasoning have been offered, one of the most prominent accounts is Mental Model Theory (MMT ...
Robert A. Cortes +3 more
doaj +1 more source
Frontiers in Psychology, 2022 Literature on Shared Mental Models (SMMs) has been burgeoning in recent years and this has provided increasingly detailed insight and evidence into the importance of SMMs within specific contexts.
Jandre J. van Rensburg +3 more
doaj +1 more source
Venues for Analytical Reasoning Problems: How Children Produce Deductive Reasoning
Education Sciences, 2020 The research on deductive reasoning in mathematics education has been predominantly associated with the study of proof; consequently, there is a lack of studies on logical reasoning per se, especially with young children.
Susana Carreira +2 more
doaj +1 more source
Journal of Eye Movement Research, 2021 In this paper, we inquire into possible differences between children with exceptionally high intellectual abilities and their average peers as regards metacognitive monitoring and related metacognitive strategies.
Ondřej Straka +3 more
doaj +1 more source
Mental Models in Deductive Reasoning. [PDF]
, 2002 Sin resumenSin ...
Carriedo, Nuria +4 more
core +2 more sources
Method of Multilevel Adaptive Synthesis of Monitoring Object Knowledge Graphs
Applied Sciences, 2021 The paper introduces a method for adaptive deductive synthesis of state models, of complex objects, with multilevel variable structures. The method makes it possible to predict the state of objects using the data coming from them.
Kirill Krinkin +3 more
doaj +1 more source
Getting one step closer to deduction: Introducing an alternative paradigm for transitive inference [PDF]
, 2008 This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ 2008 Psychology Press.Transitive inference is claimed to be “deductive”. Yet every group/species ever reported apparently uses it.
Howells, D, Wright, BC
core +1 more source