Results 221 to 226 of about 1,260 (226)

Cut-elimination theorem for Visser's propositional logic and formal propositional logic

, 2002
克巳 佐々木
openalex  

Some of the next articles are maybe not open access.

Related searches:

No-Hair Theorem for the Galileon

Physical Review Letters, 2013
exaly  

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

, 1971
Moto-o Takahashi
openalex  

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

, 1970
Moto-o Takahashi
openalex  

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

, 1993
A. G. Dragalin
openalex  

CUT ELIMINATION THEOREMS AND A CANONICAL MODEL CONSTRUCTION FOR SOME IMPLICATIONAL SUBSTRUCTURAL LOGICS

, 2001
Norihiro Kamide
openalex