Results 231 to 240 of about 25,817 (283)

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

Intensive Care Med Exp
europepmc   +1 more source

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics [PDF]

Studia Logica, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francesca Poggiolesi
exaly   +4 more sources

Sequent Calculi for the Normal Terms of the λΠ- and λΠ∑-Calculi [PDF]

Electronic Notes in Theoretical Computer Science, 1998
AbstractThis paper presents two sequent calculi, requiring no clausal form for types, whose typable terms are in 1–1 correspondence with the normal terms of the λ∏- and λΠΣ-calculi. Such sequent calculi allow no permutations in the order in which inference rules occur on derivations of typable terms and are thus appropriate for proof search.
Luís Pinto 0001, Roy Dyckhoff
exaly   +3 more sources

A Survey of Nonstandard Sequent Calculi [PDF]

Studia Logica, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrzej Indrzejczak
exaly   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

Sequent-Calculi for Metainferential Logics

Studia Logica, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruno Da Ré, Federico Pailos
openaire   +1 more source