Federico Pailos

Statistics

Publications

Citations

325

H-Index

Active since

2017

Affiliations

Consejo Nacional de Investigaciones Científicas y Técnicas(Current)

Universidad de Buenos Aires

Institute of Scientific and Technical Research for Defense

Federico Pailos is an author at Consejo Nacional de Investigaciones Científicas y Técnicas specializing in automated reasoning, semantics, and language studies.

ORCID

Top concepts

SemanticsAutomated ReasoningLanguageEngineeringLinguisticsFormal MethodsPhilosophy Of LanguageSyntaxEpistemologyFormal Semantics

Publications per year

2017–2021

Publications

A Hierarchy of Classical and Paraconsistent Logics

Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc · Journal of Philosophical Logic · 2019 · 80 citations

Non-classical Logic, Syntax, Substructural Logic +6

A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS

Federico Pailos · The Review of Symbolic Logic · 2019 · 43 citations · Full text

Non-classical Logic, Engineering, Logic Cm ω +13

Theories of truth based on four-valued infectious logics

Bruno Da Ré, Federico Pailos, Damián Szmuc · Logic Journal of IGPL · 2018 · 27 citations · Full text

Non-classical Logic, Engineering, Four-valued Infectious Logics +13

Substructural logics, pluralism and collapse

Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc · Synthese · 2018 · 23 citations

Substructural Logic, Automated Reasoning, Classical Logic +5

A paraconsistent route to semantic closure

Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc · Logic Journal of IGPL · 2017 · 22 citations · Full text

Paraconsistent Logic, Engineering, Weak Procedure +18

1–5 of 13