Results 231 to 240 of about 5,524 (273)

ESICM LIVES 2024. Barcelona, Spain. 5–9 October 2024. [PDF]

open access: yesIntensive Care Med Exp
europepmc   +1 more source

Sequent calculi for three-valued logics

open access: yesSequent calculi for three-valued logics
openaire  
sequent calculus
mathematics
computer science - logic in computer science
cut-elimination and normal-form theorems
modal logic including the logic of norms
16. peace & justice
f.4.1
cut elimination
modal logic
previous   22  23  24  25  26  

Home - About - Disclaimer - Privacy