Results 1 to 10 of about 2,494,208 (244)

General Proof Theory: Introduction [PDF]

Studia Logica, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas Piecha, Peter Schroeder‐Heister
semanticscholar   +3 more sources

The Fundamental Problem of General Proof Theory [PDF]

Studia Logica, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dag Prawitz
semanticscholar   +4 more sources

A more general general proof theory

Journal of Applied Logic, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heinrich Wansing
semanticscholar   +4 more sources

The general proof of certain fundamental equations in the theory of metallic conduction [PDF]

Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character, 1934
In the modern theory of electronic conduction the electrons are considered, when the thermal motion of the lattice is neglected, as moving in a periodic potential with the property V ( x + la , y + ma , z + na
Harry Jones, Clarence Zener
semanticscholar   +3 more sources

Reprint of: A more general general proof theory

Journal of Applied Logic, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heinrich Wansing
semanticscholar   +4 more sources

A Proof Theory for General Unification [PDF]

Progress in Computer Science and Applied Logic, 1991
Wayne Snyder
semanticscholar   +3 more sources

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   +4 more sources

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators [PDF]

, 2023
AbstractTerm-forming operators (tfos), like iota- or epsilon-operator, are technical devices applied to build complex terms in formal languages. Although they are very useful in practice their theory is not well developed. In the paper we provide a proof-theoretic formulation of the general approach to tfos provided independently by several authors ...
Andrzej Indrzejczak
openalex   +3 more sources

Toward a General Theory of Standards of Proof

SSRN Electronic Journal, 2010
Which standard of proof is best for a particular type of case? This deceptively simple question has been much discussed, but the current state of understanding is unsatisfactory. Statisticians posed a general answer; philosophers and others launched an assault on that answer; practically oriented scholars draw on both strains unsystematically; and ...
Fredrick E. Vars
  +5 more sources

Bounds on the power of proofs and advice in general physical theories [PDF]

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2016
Quantum theory presents us with the tools for computational and communication advantages over classical theory. One approach to uncovering the source of these advantages is to determine how computation and communication power vary as quantum theory is replaced by other operationally defined theories from a broad framework of such theories.
Ciarán M. Lee, Matty J. Hoban
openalex   +8 more sources