15 citations
- Universidade Federal FluminenseBR9 papers
- Institut Franco-Uruguayen des Mathématiques et InteractionsUY6 papers
- Sustainable Sciences InstituteUS3 papers
- Universidade Estadual de Campinas (UNICAMP)BR3 papers
- Universidade Federal do Rio de JaneiroBR3 papers
- Instituto Federal do Espírito SantoBR2 papers
- Instituto Federal do Rio de JaneiroBR2 papers
- Muncipal de Bom Jesus do ItabapoanaBR2 papers
- Universidade Federal de Campina GrandeBR2 papers
- Association of the Technological Integrated Systems LaboratoryBR1 paper
- Centro Brasileiro de Pesquisas FísicasBR1 paper
- Concerned Black Men NationalUS1 paper
Showing 2023Show all
2 papers · 1 filter
math.LO2023★ 3 cited
A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
Renato Leme, Marcelo Coniglio, Bruno Lopes
Kurt Gödel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same resul…
gr-qc2023★ 15 cited
Compact stars in gravity
José C. N. de Araujo, Hemily G. M. Fortes
The Teleparallel Theory is equivalent to General Relativity, but whereas in the latter gravity has to do with curvature, in the former gravity is described by torsion. As is well k…