Results 191 to 198 of about 41,558 (198)

Cut-elimination theorem for relevant logics

, 1976
G. E. Mints
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

No-Hair Theorem for the Galileon

Physical Review Letters, 2013
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  

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

, 2001
Norihiro Kamide
openalex  

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

, 2002
克巳 佐々木
openalex  

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  

Löb's axiom and cut-elimination theorem

, 2001
克巳 佐々木
openalex  

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