Results 101 to 109 of about 268 (109)

Cut elimination for coherent theories in negation normal form

Archive for Mathematical Logic
Paolo Maffezioli, Maffezioli Paolo
exaly  

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

Science China Information Sciences, 2010
Yuan Xuehai, Li Hongxing
exaly  

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

International Journal of Approximate Reasoning
Martin Figallo
exaly  

Cut-Elimination for Quantified Conditional Logic

Journal of Philosophical Logic, 2016
Christoph Benzmüller
exaly  

Normalization and cut-elimination theorems for some logics of evidence and truth

Journal of Logic and Computation
Marcelo E Coniglio, Martin Figallo, Abilio Rodrigues   +2 more
exaly  

Two normal form theorems for CSP programs

Information Processing Letters, 1987
exaly  

Cut-Elimination Theorem for the Logic of Constant Domains

Mathematical Logic Quarterly, 1994
exaly  

Modal sequents for normal modal logics

Mathematical Logic Quarterly, 1993
exaly  

The Role of Quantifier Alternations in Cut Elimination

Notre Dame Journal of Formal Logic, 2005
exaly