Zobrazeno 1 - 10
of 133
pro vyhledávání: '"Caleiro, Carlos"'
We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations - nowadays more commonly called multiple-conclusion logics - to the setting of non-deterministic matrices (Nmatrices), char
Externí odkaz:
http://arxiv.org/abs/2310.02952
Publikováno v:
EPTCS 358, 2022, pp. 55-67
The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst finitely c
Externí odkaz:
http://arxiv.org/abs/2204.06725
Autor:
Caleiro, Carlos, Marcelino, Sérgio
Publikováno v:
J. symb. log. 89 (2024) 583-636
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical mat
Externí odkaz:
http://arxiv.org/abs/2202.02189
Autor:
Caleiro, Carlos, Marcelino, Sérgio
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 characterization methods: a very general but not very effective one, and then an
Externí odkaz:
http://arxiv.org/abs/2102.05419
Autor:
ALBUQUERQUE, HUGO, CALEIRO, CARLOS
Publikováno v:
The Bulletin of Symbolic Logic, 2022 Dec 01. 28(4), 477-528.
Externí odkaz:
https://www.jstor.org/stable/27187033
The spread of online reviews and opinions and its growing influence on people's behavior and decisions, boosted the interest to extract meaningful information from this data deluge. Hence, crowdsourced ratings of products and services gained a critic
Externí odkaz:
http://arxiv.org/abs/2004.06223
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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 the generating axioms of the theory should also be committed to accept
Externí odkaz:
http://arxiv.org/abs/1903.02338
We investigate the combination of fragments of classical logic as a way of conservatively extending a given Boolean logic by the addition of new connectives, and we precisely characterize the circumstances in which such a combination produces the cor
Externí odkaz:
http://arxiv.org/abs/1810.05879
Autor:
Santiago, Regivan H. N., Bedregal, Benjamin, Marcos, João, Caleiro, Carlos, Pinheiro, Jocivania
The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalization" of BCI algebras. Semi-BCI have a similar structure to Pseudo-BCI
Externí odkaz:
http://arxiv.org/abs/1803.04808