The tableaux method applied to a quasi-modulated logic for the quantifier "few"
A sequent calculus for the three-valued and intuitionistic logic I1
Observatory of migrations in São Paulo: internal and international migrations in c...
| Grant number: | 19/23436-5 |
| Support type: | Scholarships in Brazil - Scientific Initiation |
| Effective date (Start): | December 01, 2019 |
| Effective date (End): | November 30, 2020 |
| Field of knowledge: | Physical Sciences and Mathematics - Mathematics |
| Principal researcher: | Luiz Henrique da Cruz Silvestrini |
| Grantee: | Gabriela Stéfany Cirilo |
| Home Institution: | Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil |
Abstract In 1932, Lewis and Langford published work called Symbolic Logic, not qualifying as notions of normal modal logic S5. This logic uses the ¡ (necessary) and Ê (possible) operators as new object language symbols. In the semantic environment in Kripke, we have contexts of reflexivity, symmetry, and transitivity between worlds. The objective of this project of scientific initiation is to recognize the method of analytical frameworks, as an alternative to the Hilbertian; and further investigate the frame method for a modal system, particularly the S5 system. | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| TITULO | |
| Articles published in other media outlets (0 total): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |