1 citations · 2 across the 7 of their papers we have counts for
9 papers · 1 filter
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
Collusion Relations and their Applications to Balance Theory
Jean-Baptiste Joinet, Carlos Olarte
We study quadrangular properties of binary relations on a set X -i.e., properties defined on configurations of four elements -- within an agonistic interpretation, where xRy is int…
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…
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, Carlos Olarte +3
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a…
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Carlos Olarte, Elaine Pimentel, Camilo Rocha
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and ident…
A Game Model for Proofs with Costs
Timo Lang, Carlos Olarte, Elaine Pimentel +1
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this…