Results 211 to 220 of about 2,682,535 (254)

Geometric Aspects Of Cut Elimination

2000
Abstract Imagine reading a proof in a mathematical text. It may have several lemmas which interact with each other in a tricky way. In order to see better what is happening within the proof, one might try to unwind the lemmas to make explicit each basic step in the argument.
Alessandra Carbone, Stephen Semmes
openaire   +1 more source

Cut elimination for entailment relations

Archive for Mathematical Logic, 2018
Davide Rinaldi, D. Wessel
semanticscholar   +1 more source

Cut Elimination

2022
openaire   +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

Advances in schematic cut elimination

2015
In dieser Dissertation untersuchen wir Formel- und Beweisschemata in der Aussagen- und in der Pr dikatenlogik. Mit -schematischmmeinen wir dass Formeln und Beweise durch einen freien numerischen Parameter indiziert sind. Im propositionalen Fall untersuchen wir eine Erweiterung eines Entscheidungsverfahrens f r die Erf llbarkeit regul rer ...
openaire   +1 more source

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 GLS Using the Terminability of its Regress Process

Journal of Philosophical Logic, 2015
Jude Brighton
semanticscholar   +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

Semantical Approach to Cut Elimination and Subformula Property in Modal Logic

, 2016
H. Ono
semanticscholar   +1 more source