3 citations · 6 across the 11 of their papers we have counts for
17 papers · 1 filter
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Carlos Olarte, Elaine Pimentel
Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if then . Intuitively, th…
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov +2
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here,…
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov +2
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here,…
An ecumenical view of proof-theoretic semantics
Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
Debates concerning philosophical grounds for the validity of classical and intuitionistic logics often have the very nature of logical proofs as one of the main points of controver…
On an ecumenical natural deduction with stoup -- Part I: The propositional case
Luiz Carlos Pereira, Elaine Pimentel
Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is one of the most well known proof-theoretical frameworks. Part of its success is based on the fa…
Separability and harmony in ecumenical systems
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now.…