Results 181 to 190 of about 41,558 (198)

The Substitution Theorem and Cut Elimination for Calculi with sub

, 2000
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A new conservation theorem

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

The Replacement Theorem and Cut Elimination for Calculi with rep

, 2000
openalex   +1 more source

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

, 2020
Norihiro Kamide
openalex  

Review: Satoko Titani, An Algebraic Formulation of Cut-Elimination Theorem

, 1970
Moto-o Takahashi
openalex  

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

, 1971
Moto-o Takahashi
openalex  

A cut-elimination theorem

, 1972
G. M. Kelly
openalex   +1 more source

The Recovery Theorem

Journal of Finance, 2015
exaly  

Cut-elimination Theorems for Some Infinitary Modal Logics

, 2001
Yoshihito Tanaka
openalex   +1 more source

Theorems on completeness and cut elimination in higher order classical logics. Constructive methods

, 1993
A. G. Dragalin
openalex