1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2024
Equivalence of finite non-deterministic logical matrices is undecidable
Carlos Caleiro, Pedro Filipe, Sérgio Marcelino
The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical…
cs.LO2022★ 1 cited
Monadicity of Non-deterministic Logical Matrices is Undecidable
Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matri…