Results 251 to 251 of about 4,006 (251)
Some of the next articles are maybe not open access.

Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.

FLAP, 2020
openaire   +1 more source
cut-elimination and normal-form theorems
computer science - logic in computer science
sequent calculus
cut-elimination
mathematics - logic
many-valued logic
modal logic
cut elimination
normalization theorem
previous   24  25  26  

Home - About - Disclaimer - Privacy