Results 21 to 30 of about 100,437 (202)

Analysis criteria of logic and linguistic models of natural language sentences [PDF]

, 2017
Для здійснення змістовного аналізу електронних текстових документів запропоновано використовувати формальні логіко-лінгвістичні моделі. Метою статті є опис критеріїв аналізу формальних моделей, що здатні відображати зміст речень природної мови та ...
Вавіленкова, Анастасія Ігорівна
core   +1 more source

Non‐Classical Knowledge [PDF]

, 2017
The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is
Jerzak, Ethan
core   +1 more source

Practical Theory Extension in Event-B [PDF]

, 2013
. The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core   +1 more source

Mathematical Logic: Foundations and Beyond

Turkish Journal of Computer and Mathematics Education, 2018
Mathematical logic serves as the cornerstone of formal reasoning, providing precise tools for analyzing the structure and validity of arguments. This paper offers a comprehensive exploration of key topics in mathematical logic, spanning from classical ...
Romi Bala, Hemant Pandey
semanticscholar   +1 more source

ANALYSIS OF POSSIBILITY OF FORMALIZATION OF LAND RELATIONS

Радіоелектронні і комп'ютерні системи, 2017
This article shows the examples of the formal submission to the set-theoretic language and the language of logic predicate calculus and the theory of some categories of land relations.
Костянтин Олександрович Метешкін, Максим Анатолійович Кухар   +1 more
doaj   +1 more source

The progress of science from a computational point of view: the drive towards ever higher solvability

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

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  

Does Identity Make Sense? [PDF]

Manuscrito
In 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

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, Horsten, Leon, Nicolai, Carlo   +2 more
core   +3 more sources

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