Results 281 to 287 of about 772,601 (287)

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

Studia Logica, 2019
Norihiro Kamide, Yoni Zohar, Kamide Norihiro   +2 more
exaly  

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Lecture Notes in Computer Science, 2017
Yury Savateev
exaly  

Cut-elimination for Weak Grzegorczyk Logic Go

Studia Logica, 2012
Rajeev Gore, Revantha Ramanayake, Gore Rajeev   +2 more
exaly  

Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus

Lecture Notes in Computer Science, 2007
Kikuchi Kentaro
exaly  

Normalization and cut elimination

2014
openaire   +1 more source

Cut Elimination Resumed

2000
openaire   +1 more source

A cut-elimination theorem

1972
openaire   +1 more source