Results 21 to 30 of about 150,676 (217)
RETRACTED: Tax procedural proof: problems of theory and practice
Правоприменение, 2022 RETRACTED ARTICLEThe subject of this study is the legal norms contained in legislation, other legal acts, as well as materials of law enforcement practice that determine the specifics of tax procedural evidence.
I. V. Glazunova, D. S. Sheptunov
doaj +1 more source
Pascal’s Wager, Is the theory of Rationality a proof? [PDF]
حکمت و فلسفه, 2010 There is no agreement about Pascal’s purpose of suggesting his “Wager.” Is Pascal after presenting a logical reason or merely invites others to his spiritual intimacy? Is his addressee Atheist or his purpse is strengthening Christian faith?
mohammad mohammad rezai +1 more
doaj +1 more source
Quantification in Ordinary Language and Proof Theory
Philosophia Scientiæ, 2016 This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We
Michele Abrusci +2 more
doaj +1 more source
Existential Foundherentism of Mulla Sadra in the Justification Element [PDF]
حکمت معاصر, 2018 The truth of knowledge was considered by western philosophers and epistemologists long time ago unclear sentence. They were mostly foundationalists or coherentists in the justification element.
Morteza Hosseinzadeh +2 more
doaj +1 more source
Goal Translation for a Hammer for Coq (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems.
Łukasz Czajka, Cezary Kaliszyk
doaj +1 more source
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Bulletin of the Section of LogicDecidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj +1 more source
Journal of High Energy Physics, 2018 The complete proof of cutting rules needed for proving perturbative unitarity of quantum field theories usually employs the largest time equation or old fashioned perturbation theory.
Roji Pius, Ashoke Sen
doaj +1 more source
ALTERNATIVE PROOF OF THE INFINITUDE PRIMES AND PRIME PROPERTIES
Barekeng, 2023 Prime numbers is one of kind number that have many uses, one of which is cryptography. The uniqueness of prime numbers in their divisors and distributions causes prime numbers to be widely used in digital security systems. In number theory, one of famous
Dinni Rahma Oktaviani +2 more
doaj +1 more source
Jurnal Lebesgue, 2023 Mathematical proof is a crucial component in studying mathematics, especially at advanced levels. Previous research has reported that many students face difficulties in solving mathematical proof problems, including in rings theory course.
Nina Agustyaningrum +2 more
doaj +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source