Results 161 to 170 of about 207 (176)

Cut elimination for entailment relations

Archive for Mathematical Logic, 2018
Daniel Wessel
exaly  

Completeness and cut-elimination theorems for trilattice logics

Annals of Pure and Applied Logic, 2011
Norihiro Kamide, Heinrich Wansing
exaly  

Cut-elimination Theorems for Some Infinitary Modal Logics

Mathematical Logic Quarterly, 2001
Yoshihito Tanaka
exaly  

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic

Studia Logica, 2019
Norihiro Kamide, Yoni Zohar
exaly  

Cut-Elimination for Quantified Conditional Logic

Journal of Philosophical Logic, 2016
Christoph Benzmüller
exaly  

Interpolants, cut elimination and flow graphs for the propositional calculus

Annals of Pure and Applied Logic, 1997
Alessandra Carbone
exaly  

Cut elimination for coherent theories in negation normal form

Archive for Mathematical Logic
Paolo Maffezioli
exaly  

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

Science China Information Sciences, 2010
Kaibiao Sun
exaly  

Corrected upper bounds for free-cut elimination

Theoretical Computer Science, 2011
Arnold Beckmann, Samuel R Buss
exaly  

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

International Journal of Approximate Reasoning
Martin Figallo
exaly