Carlos Caleiro
Identifiers
- name variant Carlos Caleiro 0.60 · backfill
Papers (7)
- What is a logical theory? On theories containing assertions and denials math.LO · 2019 · author #2
- Combining fragments of classical logic: When are interaction principles needed? cs.LO · 2018 · author #1
- Semi-BCI Algebras cs.LO · 2018 · author #4
- Recommendation via matrix completion using Kolmogorov complexity cs.IR · 2017 · author #3
- Merging fragments of classical logic cs.LO · 2017 · author #1
- Robust reputation-based ranking on multipartite rating networks cs.IR · 2017 · author #3
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics cs.LO · 2014 · author #1
Mentions
- 1408.3775 #1 · backfill · confidence 0.70 Carlos Caleiro
Frequent Coauthors
- Jo\~ao Marcos 5 shared papers
- Guilherme Ramos 2 shared papers
- S\'ergio Marcelino 2 shared papers
- Soummya Kar 2 shared papers
- Benjamin Bedregal 1 shared papers
- Carolina Blasio 1 shared papers
- Jo\~ao Sa\'ude 1 shared papers
- Joao Saude 1 shared papers
- Jocivania Pinheiro 1 shared papers
- Marco Volpe 1 shared papers
- Regivan H.N. Santiago 1 shared papers