Results 21 to 30 of about 2,584,296 (324)
Frontiers in Communication, 2022 This article contributes to the scholarly discussions about the role of religion in social and political action rhetoric by revealing the complexities of rhetorical resources found in the logic of theology. To this end, I explored rhetorical functions of
James W. Vining
doaj +1 more source
Proposed model for Statement of Cash Flows based on formal logic [PDF]
پژوهشهای تجربی حسابداری, 2017 The Options granted in International Accounting Standard No. 7 in relation to the classification of four items of interest and income received and paid leads to diverse classifications in the form of cash flows and the ability to compare flows Reduce the
shahin korzebor
doaj +1 more source
FUZZY MAPPING IN DATA SONIFICATION SYSTEM OF WIRELESS SENSOR NETWORK [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2016 Problem Statement. This paper describes the modeling of sonification system with possible types of wireless sensor network data. Fuzzy logic is used for the data-to-sound mapping. Methods.
Arseny A. Markhotin +3 more
doaj +1 more source
The Model of Islamic Revolution Governance in the First Phase and Policy-Making Implications of ‘The Second Phase Statement’ [PDF]
Islām va ̒ulūm-i ijtimā̒ī, 2020 This essay tries to describe and explain the model of Islamic revolution governance in the first phase and policy-making implications of the second phase statement. To do this, I first have used defamiliarization technique. The most important elements of
Ismail Nodeh Farahani
doaj +1 more source
Separation logic for sequential programs (functional pearl)
Proc. ACM Program. Lang., 2020 This paper presents a simple mechanized formalization of Separation Logic for sequential programs. This formalization is aimed for teaching the ideas of Separation Logic, including its soundness proof and its recent enhancements. The formalization serves
A. Charguéraud
semanticscholar +1 more source
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic [PDF]
Logic in Computer Science, 2016 We show that on graphs with n vertices the 2-dimensional Weisfei-ler-Leman algorithm requires at most O(n2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n2) is asymptotically not ...
Sandra Kiefer, Pascal Schweitzer
semanticscholar +1 more source
Proving, Refuting, Improving—Looking for a Theorem
Axioms, 2022 Exploring the proofs and refutations of an abstract statement, conjecture with the aim to give a formal syntactic treatment of its proving–refuting process, we introduce the notion of extrapolation of a possibly unprovable statement having the form if A,
Branislav Boričić
doaj +1 more source
Reverse mathematics and well-ordering principles [PDF]
, 2011 The paper is concerned with generally Pi^1_2 sentences of the form 'if X is well ordered then f(X) is well ordered', where f is a standard proof theoretic function from ordinals to ordinals.
Rathjen, Michael, Weiermann, Andreas
core +1 more source
حکمت سینوی, 2019 The main problem of this paper is “Matter mistake” and “Formal mistake” and its result is "Matter mistake is meaningless; what is in principle described as correct and incorrect form".
Hossein Asaadi , Ali Haghi
doaj +1 more source
Interpreting a Classical Geometric Proof with Interactive Realizability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the existence of a
Giovanni Birolo
doaj +1 more source