2 citations · 4 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021
On axioms and rexpansions
Carlos Caleiro, Sérgio Marcelino
We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characteri…
math.LO2019
What is a logical theory? On theories containing assertions and denials
Carolina Blasio, Carlos Caleiro, João Marcos
The standard notion of formal theory, in Logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts…