Results 91 to 98 of about 12,179 (98)

Interpolants, cut elimination and flow graphs for the propositional calculus

Annals of Pure and Applied Logic, 1997
Alessandra Carbone
exaly  

Cut-elimination theorems for some logics associated with double Stone algebras

International Journal of Approximate Reasoning
Martín Figallo
exaly  

Effects of Radiation on Normal Tissues

Ca-A Cancer Journal for Clinicians, 1980
exaly  

Biology of Cancer and the Cancer Cell: Normal and Abnormal Regulation of Cell Reproduction

Ca-A Cancer Journal for Clinicians, 1972
exaly  

The cut sets, decomposition theorems and representation theorems on intuitionistic fuzzy sets and interval valued fuzzy sets

Science China Information Sciences, 2010
exaly  

NICOTINAMIDE METHOCHLORIDE ELIMINATION TESTS

Lancet, The, 1945
exaly  

Cut elimination for coherent theories in negation normal form

Archive for Mathematical Logic
exaly  

Rule-Elimination Theorems

Logica Universalis
exaly