Results 51 to 60 of about 7,429,852 (332)

Forcing in Proof Theory

Bulletin of Symbolic Logic, 2004
AbstractPaul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic.
openaire   +2 more sources

PROOF THEORY OF WEAK COMPACTNESS [PDF]

Journal of Mathematical Logic, 2013
We show that the existence of a weakly compact cardinal over the Zermelo–Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.
openaire   +3 more sources

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability 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

Unitarity of the box diagram

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

A proof-theoretic analysis of the classical propositional matrix method

, 2014
The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory.
Ritter, E, Ritter, Eike, Pym, D, Robinson, E, Pym, David, Robinson, Edmund   +5 more
core   +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, Muhammad Habiburrohman, Fiki Syaban Nugroho   +2 more
doaj   +1 more source

Actissist: Proof-of-Concept Trial of a Theory-Driven Digital Intervention for Psychosis

Schizophrenia bulletin, 2018
Background Timely access to intervention for psychosis is crucial yet problematic. As such, health care providers are forming digital strategies for addressing mental health challenges.
S. Bucci, C. Barrowclough, J. Ainsworth, M. Machin, R. Morris, K. Berry, R. Emsley, S. Lewis, D. Edge, Iain E. Buchan, G. Haddock   +10 more
semanticscholar   +1 more source

A Forgotten Theory of Proofs ?

Logical Methods in Computer Science, 2019
Looking at MacLane's thesis on proof theory in the light of combinatory ...
openaire   +5 more sources

Engineered extracellular vesicles enriched with the miR‐214/199a cluster enhance the efficacy of chemotherapy in ovarian cancer

Molecular Oncology, EarlyView.
Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang, Ayesha Alvero, Yi Qin, Mingjin Wang, Alexandra Fox, Yanfeng Li, Michael Millman, Amy Kemper, Gil Mor, Xian Shuang Liu, Michael Chopp, Zheng Gang Zhang, Yi Zhang   +12 more
wiley   +1 more source

Some remarks on proof-theoretic semantics

, 2015
This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core   +1 more source