19th Brazilian Logic Conference: Book of Abstracts

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches

The theory of inconsistency: inconsistant mathematics and paraconsistent logic

Each volume includes author's previously published papers.Bibliography: leaves 147-151 (v. 1).3 v. :Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 200

Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)We analyze the variety of A. Monteiro's tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.1023525539Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)FAPESP [LogCons 2010/51038-0

On A Four-valued Modal Logic With Deductive Implication

In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.4301/02/15117Blackburn, P., De Rijke, M., Venema, Y., (2001) Modal Logic, , Cambridge University PressBou, F., Esteva, F., Font, J.M., Gil, A., Godo, L., Torrens, A., Verdú, V., Logics preserving degrees of truth from varieties of residuated lattices (2009) Journal of Logic and Computation, 19 (6), pp. 1031-1069Coniglio, M.E., Figallo, M., Hilbert-style presentations of two logics associated to tetravalent modal algebras (2013) Studia Logica, , to appear. First published online: July 16 doi:10.1007/s11225-013-9489-0Figallo, A.V., Landini, P., On generalized I-algebras and 4-valued modal algebras (1995) Reports on Mathematical Logic, 29, pp. 3-18Font, J.M., Rius, M., An abstract algebraic logic approach to tetravalent modal logics (2000) J. Symbolic Logic, 65 (2), pp. 481-518Jansana, R., Selfextensional logics with a conjunction (2006) Studia Logica, 84 (1), pp. 63-104. , DOI 10.1007/s11225-006-9003-zLoureiro, I., (1983) Álgebras Modais Tetravalentes, , PhD thesis, Faculdade de Ciências de LisboaMendelson, E., (1997) Introduction to Mathematical Logic, , Springer4th editionMoisil, Gr.C., Algebra schemelor cu elemente ventil (1954) Revista Universitatii C.I. Parhon si a Politechnicci Bucaresti Seria St. Nat., 4-5, pp. 9-42Moisil, Gr.C., (1972) Essais sur les Logiques Non Chrysippiennes, , Éditions de l'Académie de la République Socialiste de RoumanieMonteiro, A., (1969) Notas del Curso Álgebras de Boole Involutivas, Instituto de Matemática, , Universidad Nacional del Sur, Bahia Blanca Reprinted as Álgebras de Boole Involutivas, Informe Técnico Interno No. 78, Universidad Nacional del Sur, Bahia Blanca, 2002Scroggs, S.J., Extensions of the lewis system S5 (1951) The Journal of Symbolic Logic, 16 (2), pp. 112-12