Results 1 to 10 of about 202,857 (337)
Deductive model checking [PDF]
Formal Methods in System Design, 1996 We present an extension of classical tableau-based model checking procedures to the case of infinite-state systems, using deductive methods in an incremental construction of the behavior graph. Logical formulas are used to represent infinite sets of states in an abstraction of this graph, which is repeatedly refined in the search for a counterexample ...
Henny B. Sipma +2 more
openalex +2 more sources
Mental Models in Deductive Reasoning. [PDF]
The Spanish Journal of Psychology, 2002 Sin resumenSin ...
Carriedo, Nuria +4 more
core +5 more sources
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
Large language models for thematic analysis in healthcare research: A blinded mixed-methods comparison with human analysts. [PDF]
PLOS Digital HealthLarge language models (LLMs) are increasingly used for qualitative thematic analysis, yet evidence on their performance in analysing focus-group data, where polyvocality and context complicate coding, remains limited.
Callum Hill +6 more
doaj +2 more sources
The partition model: a deductive database model [PDF]
ACM Transactions on Database Systems, 1987 We present a new database model in which each attribute is modeled by a family of disjoint subsets of an underlying population of objects. Such a family is called a partitioning, and the set of all partitionings is turned into a lattice by appropriately defining product and sum.
Nicolas Spyratos
openalex +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
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 +3 more sources
SAGE OpenDeductive coding is a common discourse analysis method widely used by learning science and learning analytics researchers for understanding teaching and learning interactions.
Lishan Zhang +3 more
doaj +2 more sources
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification [PDF]
Neta Elad, Oded Padon, Sharon Shoham
exaly +2 more sources