Results 21 to 30 of about 973,083 (329)
حکمت سینوی, 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
Proofs for free - parametricity for dependent types [PDF]
, 2012 Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type.
Bernardy, J. P. +2 more
core +2 more sources
Mathematics, 2021 Every set with a binary operation satisfying a true statement of propositional logic corresponds to a solution of the quantum Yang-Baxter equation. Quantum B-algebras and L-algebras are closely related to Yang-Baxter equation theory.
Aiping Gan, Aziz Muzammal, Yichuan Yang
doaj +1 more source
Symphonya, 2001 The viable system logic is widely considered a reference point for all the entrepreneurial organizations. The viable organizations have to struggle for existence, a statement particularly valid, if we consider changes (adjustments, transformations ...
Gaetano M. Golinelli, Mauro Gatti
doaj +1 more source
Explaining the theoretical model of realistic idealism in the foreign policy of the Islamic Republic of Iran based on the statement of the second step of the Islamic Revolution [PDF]
مطالعات بنیادین تمدن نوین اسلامی, 2022 The statement of the second step of the revolution is one of the documents that have provided the necessary grounds for theorizing about the issues of today and the future of the Islamic Revolution.
Ayub Nikunahad +2 more
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
Numerical: Jurnal Matematika dan Pendidikan Matematika, 2017 This research aims to determine what kind of mistakes made PGMI students even semester of the academic year 2016/2017 in solving the problem of compound statement negation on mathematical logic and to know the alternative solution.
Mutia Mutia
doaj +1 more source
Towards a theory of ground-theoretic content [PDF]
, 2018 A lot of research has recently been done on the topic of ground, and in particular on the logic of ground. According to a broad consensus in that debate, ground is hyperintensional in the sense that even logically equivalent truths may differ with ...
Krämer, Stephan
core +1 more source
Raven paradox: problem and solution given on the basis of Aristotle’s logic [PDF]
E3S Web of Conferences, 2021 The paper is devoted to the solution of two well-known paradoxes of inductive logic: Hempel’s and Goodman’s, which the science has not solved unambiguously yet.
Zamorev Anton, Fedyukovsky Alexander
doaj +1 more source