Results 11 to 20 of about 973,083 (329)
Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs [PDF]
Logical Methods in Computer Science, 2019 A cyclic proof system, called CLKID-omega, gives us another way of representing inductive definitions and efficient proof search. The 2005 paper by Brotherston showed that the provability of CLKID-omega includes the provability of LKID, first order ...
Stefano Berardi, Makoto Tatsuta
doaj +3 more sources
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic [PDF]
Logical Methods in Computer Science, 2019 We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is asymptotically not ...
Sandra Kiefer, Pascal Schweitzer
doaj +1 more source
The Marginal Reality of Humor [PDF]
Гуманитарный вектор, 2021 The relevance of the work is due to the presence of a contradiction between the prevalence of humor, its ubiquity and ubiquity in social reality and its rather weak research as a phenomenon of this social reality.
Marina G. Fedotova
doaj +1 more source
Deductive Systems in Traditional and Modern Logic
Axioms, 2020 Since its inception, logic has studied the acceptable rules of reasoning, the rules that allow us to pass from certain statements, serving as premises or assumptions, to a statement taken as a conclusion [...]
Alex Citkin +1 more
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
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
HUBUNGAN ANTARA KEMAMPUAN UNPACKING DAN KONSTRUKSI NEGASI PERNYATAAN MATEMATIKA
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 Kemampuan unpacking dan konstruksi negasi dari pernyataan matematika merupakan hal penting dalam pemahaman mengenai pernyataan matematika, pembuktian bahkan memahami konsep matematika dibaliknya.
Kimura Patar Tamba
doaj +1 more source
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints [PDF]
, 2012 In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at the vertices ...
Belta, Calin +2 more
core +2 more sources