Results 271 to 276 of about 14,982 (276)
Some of the next articles are maybe not open access.

A sequent calculus for a logic of contingencies

Journal of Applied Logic, 2013
exaly  

Sequent calculus as a compiler intermediate language

ACM SIGPLAN Notices, 2016
Paul Downen, Simon Peyton Jones
exaly  

Absorbing the structural rules in the sequent calculus with additional atomic rules

Archive for Mathematical Logic, 2019
Franco Parlamento
exaly  

Tableaux and sequent calculus for minimal entailment

Journal of Automated Reasoning, 1992
exaly  

Rules of proof: sequent calculus

2011
openaire   +1 more source

Marginalia on the sequent calculus

1998
openaire   +1 more source
mathematics
computer science - logic in computer science
cut-elimination and normal-form theorems
16. peace & justice
sequent calculi
loop-check
modal logic
cut elimination
temporal logic
previous   26  27  28  

Home - About - Disclaimer - Privacy