Results 241 to 250 of about 4,006 (251)

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Lecture Notes in Computer Science, 2017
Yury Savateev
exaly  

Löb's axiom and cut-elimination theorem

アカデミア. 数理情報編 : 南山大学紀要, 2001
openaire   +1 more source

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing

Notre Dame Journal of Formal Logic, 2004
Steffen Van Bakel
exaly  

The Substitution Theorem and Cut Elimination for Calculi with sub

2000
openaire   +1 more source

The Replacement Theorem and Cut Elimination for Calculi with rep

2000
openaire   +1 more source

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
openaire   +1 more source

Cut-elimination theorem and Brouwerian-valued models for intuitionistic type theory

Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi, 1971
openaire   +2 more sources

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

FLAP, 2017
openaire  

Cut Elimination and Normalization in Intermediate Connexive Logics

Norihiro Kamide
exaly