Results 11 to 20 of about 47,006 (154)
Foundations of Computing and Decision Sciences, 2019 This essay’s content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. — 2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon — 3.
Marciszewski Witold
doaj +1 more source
Does Identity Make Sense? [PDF]
ManuscritoIn this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT).
Andrei Rodin
doaj +1 more source
Disquotationalism and the Compositional Principles [PDF]
, 2021 What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics,
Heck, Richard Kimberly
core
CONTROL BODY COORDINATION MODEL IN THE PROCESS OF RESPONSE TO LARGE-SCALE EMERGENCIES
Nauka ta progres transportu, 2018 Purpose. The article is devoted to developing the control body coordination model in the process of response to large-scale emergencies. Methodology.
O. M. Liashenko
doaj +1 more source
Definiteness-indefiniteness category and logical quantification
Cognitive Studies | Études cognitives, 2015 Definiteness-indefiniteness category and logical quantification This work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the
Violetta Koseska-Toszewa
doaj +1 more source
Finite predicate-driven logic networks method for enhanced education data analysis
Радіоелектронні і комп'ютерні системиThe subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj +1 more source
Iterated reflection principles over full disquotational truth [PDF]
, 2017 Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin +2 more
core +3 more sources
Formal Methods Unifying Computing Science and Systems Theory [PDF]
Journal of Systemics, Cybernetics and Informatics, 2005 Computing Science and Systems Theory can gain much from unified mathematical models and methodology, in particular formal reasoning ("letting the symbols do the work"). This is achieved by a wide-spectrum formalism. The language uses just four constructs,
Raymond Boute
doaj
Quotient-Comprehension Chains [PDF]
, 2015 Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in ...
Cho, K. +4 more
core +3 more sources
Formal Language for Objects’ Transactions
StandardsThe gap between software design and implementation often results in a lack of clarity and precision. Formal languages, based on mathematical rules, logic, and symbols, are invaluable for specifying and verifying system designs.
Mo Adda
doaj +1 more source