Results 11 to 20 of about 100,229 (307)
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
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 +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
حکمت سینوی, 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