Results 211 to 220 of about 1,260 (226)

Löb's axiom and cut-elimination theorem

, 2001
克巳 佐々木
openalex  

Some of the next articles are maybe not open access.

Related searches:

Bell nonlocality

Reviews of Modern Physics, 2014
Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio   +2 more
exaly  

Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types

, 1970
Moto-o Takahashi
openalex  

Addition Theorem for Digital Coding Metamaterials

Advanced Optical Materials, 2018
Tie Jun Cui
exaly  

Fluctuation Theorem Uncertainty Relation

Physical Review Letters, 2019
Yoshihiko Hasegawa, Tan Van Vu
exaly  

An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule.

, 2017
Ryota Akiyoshi
openalex  

A new conservation theorem

Journal of Mathematical Analysis and Applications, 2007
Nail H Ibragimov
exaly  

In this note I introduce three properties closely related to cut elimination and interpolation theorems. They find very natural definitions in the calculus of structures (WS). 1 Definition A cut-free formal system S in the calculus of structures is good if whenever (-R,T) is provable then there is a

, 2002
Alessio Guglielmi
openalex  

The Recovery Theorem

Journal of Finance, 2015
exaly  

Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.

, 2020
Norihiro Kamide
openalex