Results 311 to 320 of about 2,879,484 (330)

Cut-elimination and deductive polarization in complementary classical logic

Logic Journal of the IGPL, 2017
W. Carnielli, G. Pulcini
semanticscholar   +1 more source

Multiple Conclusion Linear Logic: Cut Elimination and More

Symposium on Logical Foundations of Computer Science, 2016
Harley D. Eades, Valeria C V de Paiva
semanticscholar   +1 more source

Cut Elimination for Sequent Systems

2019
Cut elimination for a given sequent system \(\mathbf L\) means that if a sequent is provable in \(\mathbf L\) then it is also provable in \(\mathbf L\) without using cut rule. Any proof P of \(\mathbf L\) is said to be cut-free when P contains any application of cut rule in it.
openaire   +1 more source

Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars

International Conference on Typed Lambda Calculus and Applications, 2015
B. Afshari, Stefan Hetzl, Graham Emil Leigh   +2 more
semanticscholar   +1 more source

Cut Elimination for GLS Using the Terminability of its Regress Process

Journal of Philosophical Logic, 2015
Jude Brighton
semanticscholar   +1 more source

Semantical Approach to Cut Elimination and Subformula Property in Modal Logic

, 2016
H. Ono
semanticscholar   +1 more source

Methods of Cut-Elimination

2011
Alexander Leitsch, Matthias Baaz
openaire   +1 more source

Cut-elimination for Weak Grzegorczyk Logic Go

Studia Logica: An International Journal for Symbolic Logic, 2014
R. Goré, Revantha Ramanayake
semanticscholar   +1 more source

Elimination of female genital mutilation/cutting

The Lancet, 2013
Claudia, Cappa, Francesca, Moneti, Tessa, Wardlaw, Susan, Bissell   +3 more
openaire   +2 more sources

Cut Elimination, Substitution and Normalisation

, 2015
R. Dyckhoff
semanticscholar   +1 more source