Results 191 to 200 of about 1,260 (226)

A cut-elimination theorem

, 1972
G. M. Kelly
openalex   +2 more sources

Cut-elimination theorem for relevant logics

Journal of Soviet Mathematics, 1976
G. E. Mints
openalex   +3 more sources

The Replacement Theorem and Cut Elimination for Calculi with rep

, 2000

openalex   +2 more sources

The Substitution Theorem and Cut Elimination for Calculi with sub

, 2000

openalex   +2 more sources

Shôji Maehara. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 (1962), pp. 55–64.

Journal of Symbolic Logic, 1970
M Takahashi
openalex   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Cut elimination theorem for the second order arithmetic with the π1 1-comprehension axiom and the ω-rule

1969
Mathematics Technical ...
openaire   +1 more source

Learning nonlinear operators via DeepONet based on the universal approximation theorem of operators

Nature Machine Intelligence, 2021
Lu Lu, Pengzhan Jin, Guofei Pang
exaly  

Experimental quantum key distribution certified by Bell's theorem

Nature, 2022
David Nadlinger, C j Ballance, Kirill Ivanov   +2 more
exaly  

Verification of the Crooks fluctuation theorem and recovery of RNA folding free energies

Nature, 2005
Felix Ritort, Christopher Jarzynski
exaly