Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Carlos Caleiro

Biographic Data

ID5996395
NAMECarlos Caleiro
GIVEN NAMESCarlos
FAMILY NAMECaleiro
SIGNATURECALEIRO C
AFFILIATIONSUniversity of Lisbon
ORCID0000-0001-5587-6585
VERIFIEDNo
TOTAL WORKS2
TOTAL CITATIONS1
WORKS AS AUTHOR2
WORKS AS EDITOR0
FIRST PUBLICATION YEAR2021
LATEST PUBLICATION YEAR2021
H-INDEX1
  • What is a logical theory? On theories containing assertions and denials

    Open Access•Carolina Blasio, Carlos Caleiro et al.•ARTICLE•Synthese•2021•References: 12

  • Axiomatizing non-deterministic many-valued generalized consequence relations

    Open Access•Sérgio Marcelino, Carlos Caleiro•ARTICLE•Synthese•2021•Cited by: 1•References: 19

  • Axiomatizing non-deterministic many-valued generalized consequence relations

    Open Access•Sérgio Marcelino, Carlos Caleiro•ARTICLE•Synthese•2021•Cited by: 1•References: 19

  • What is a logical theory? On theories containing assertions and denials

    Open Access•Carolina Blasio, Carlos Caleiro et al.•ARTICLE•Synthese•2021•References: 12

  • Axiomatizing non-deterministic many-valued generalized consequence relations

    Open Access•Sérgio Marcelino, Carlos Caleiro•ARTICLE•Synthese•2021•Cited by: 1•References: 19

Advanced Algebra and Logic (2 works) · Artificial Intelligence (2 works) · Artificial Intelligence (2 works) · Computer Science (2 works) · Epistemology (2 works) · Logic, programming, and type systems (2 works) · Logic, Reasoning, and Knowledge (2 works) · Mathematics (2 works) · Algebra over a field (1 work) · Assertion (1 work)

Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae