E-LIB Suche - Ergebnisse für: Pimentel, Elaine

1

Twenty Years of Theoretical and Practical Synergies: 20th C..

Lecture Notes in Computer Science, 14773

Levy Patey, Ludovic ; Pimentel, Elaine ; Galeotti, Lorenzo. - 1st ed. 2024 . , 2024

2

A rewriting logic approach to specification, proof-search, ..:

Olarte, Carlos ; Pimentel, Elaine ; Rocha, Camilo
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100827 , 2023

Link: https://doi.org/10.1016/..

3

On an Ecumenical Natural Deduction with Stoup. Part I: The ..:

, In: Synthese Library; Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction,

Pereira, Luiz Carlos ; Pimentel, Elaine - p. 139-169 , 2023

Link: https://doi.org/10.1007/..

4

Non-associative, Non-commutative Multi-modal Linear Logic:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Blaisdell, Eben ; Kanovich, Max ; Kuznetsov, Stepan L... - p. 449-467 , 2022

Link: https://doi.org/10.1007/..

5

From axioms to synthetic inference rules via focusing:

Marin, Sonia ; Miller, Dale ; Pimentel, Elaine.
Annals of Pure and Applied Logic. 173 (2022) 5 - p. 103091 , 2022

Link: https://doi.org/10.1016/..

6

A linear logic framework for multimodal logics:

Xavier, Bruno ; Olarte, Carlos ; Pimentel, Elaine
Mathematical Structures in Computer Science. 32 (2022) 9 - p. 1176-1204 , 2022

Link: https://doi.org/10.1017/..

7

Logic, Language, Information, and Computation: 28th Interna..

Lecture Notes in Computer Science, 13468

Ciabattoni, Agata ; Pimentel, Elaine ; de Queiroz, Ruy J. G. B - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

8

A Pure View of Ecumenical Modalities:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Marin, Sonia ; Pereira, Luiz Carlos ; Pimentel, Elaine. - p. 388-407 , 2021

Link: https://doi.org/10.1007/..

9

A Fresh View of Linear Logic as a Logical Framework:

Olarte, Carlos ; Pimentel, Elaine ; Xavier, Bruno
Electronic Notes in Theoretical Computer Science. 351 (2020) - p. 143-165 , 2020

Link: https://doi.org/10.1016/..

10

Ecumenical Modal Logic:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,

Marin, Sonia ; Pereira, Luiz Carlos ; Pimentel, Elaine. - p. 187-204 , 2020

Link: https://doi.org/10.1007/..

11

Hypersequent calculi for non-normal modal and deontic logic..:

Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola.
Journal of Logic and Computation. 31 (2020) 1 - p. 67-111 , 2020

Link: https://doi.org/10.1093/..

12

Hybrid linear logic, revisited:

CHAUDHURI, KAUSTUV ; DESPEYROUX, JOËLLE ; OLARTE, CARLOS.
Mathematical Structures in Computer Science. 29 (2019) 8 - p. 1151-1176 , 2019

Link: https://doi.org/10.1017/..

13

Countermodel Construction via Optimal Hypersequent Calculi ..:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,

Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola. - p. 27-46 , 2019

Link: https://doi.org/10.1007/..

14

Modularisation of Sequent Calculi for Normal and Non-normal..:

Lellmann, Björn ; Pimentel, Elaine
ACM Transactions on Computational Logic (TOCL). 20 (2019) 2 - p. 1-46 , 2019

Link: https://dl.acm.org/doi/1..

15

Sequentialising Nested Systems:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Pimentel, Elaine ; Ramanayake, Revantha ; Lellmann, Björn - p. 147-165 , 2019

Link: https://doi.org/10.1007/..