Constructive Fuzzy Logics

We generalise Kripke’s semantics for Intuitionistic logic to Hajek’s BL and consider the constructive subsystems of GBLewf and Intuitionistic Affine logic or ALi. The genesis of our semantics is the Poset Product construction for GBL-algebras elucidated in a series of papers by Peter Jipsen, Simone Bova, and Franco Montagna. We present natural deduction systems for all of these systems and corresponding deduction theorems for these same. We present the algebraic semantics for each of the logics under consideration, demonstrate their soundness and completeness with respect to these algebraic semantics. We also show how the classical Kripke semantics for Intuitionistic logic can be recast in terms of Poset Products. We then proceed to the main results, showing how a very natural generalisation of the Kripke semantics holds for each of GBLewf , ALi and Hajek’s BL based on the embedding results of Jipsen and Montagna and the decidability results of Bova and Montagna. We demonstrate soundness and completeness of the logics under our semantics in each case, with the exception of ALi, whose robust completeness with respect to the intended models (relational models with frames valued in involutive pocrims) we leave as an open problem for the ambitious reader

Bounded-analytic sequent calculi and embeddings for hypersequent logics

A sequent calculus with the subformula property has long been recognised as a highly favourable starting point for the proof theoretic investigation of a logic. However, most logics of interest cannot be presented using a sequent calculus with the subformula property. In response, many formalisms more intricate than the sequent calculus have been formulated. In this work we identify an alternative: retain the sequent calculus but generalise the subformula property to permit specific axiom substitutions and their subformulas. Our investigation leads to a classification of generalised subformula properties and is applied to infinitely many substructural, intermediate, and modal logics (specifically: those with a cut-free hypersequent calculus). We also develop a complementary perspective on the generalised subformula properties in terms of logical embeddings. This yields new complexity upper bounds for contractive-mingle substructural logics and situates isolated results on the so-called simple substitution property within a general theory

Grafting Hypersequents onto Nested Sequents

We introduce a new Gentzen-style framework of grafted hypersequents that combines the formalism of nested sequents with that of hypersequents. To illustrate the potential of the framework, we present novel calculi for the modal logics $\mathsf{K5}$ and $\mathsf{KD5}$, as well as for extensions of the modal logics $\mathsf{K}$ and $\mathsf{KD}$ with the axiom for shift reflexivity. The latter of these extensions is also known as $\mathsf{SDL}^+$ in the context of deontic logic. All our calculi enjoy syntactic cut elimination and can be used in backwards proof search procedures of optimal complexity. The tableaufication of the calculi for $\mathsf{K5}$ and $\mathsf{KD5}$ yields simplified prefixed tableau calculi for these logic reminiscent of the simplified tableau system for $\mathsf{S5}$, which might be of independent interest

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

Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017

The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond the realm of "pure" logic into the world where logic is applied. As such extralogical areas we have chosen philosophy of science as an application within philosophy, informatics as an application within the formal sciences, and law as an application within the field of social interaction. The aim of the conference was to allow philosophers, logicians and computer scientists to present their work in connection with these three areas. The conference took place 22-27 May, 2017 in Cerisy-la-Salle at the Centre Culturel International de Cerisy. The proceedings collect abstracts, slides and papers of the presentations given, as well as a contribution from a speaker who was unable to attend

Politics, Principles and Pluralism: On why liberalism must be inconsistent if correct

In this dissertation, the author argues that constructivist foundations of political liberalism require a rarely recognized sort of pluralism—not only the familiar pluralism between ideas about how we ought to live that are the stock in trade of standard accounts of liberalism, but a pluralism about political foundations as well. The author argues that making sense of this requires revision to the way we sometimes understand key concepts (such as obligation), and develops an inconsistency-tolerant, pluralism friendly deontic logic for this purpose. A pluralist friendly obligation is argued to be one that represents moral and political principles in contrastive terms (analogous to contrastive explanation from Bas Van Fraassen), in virtue of the need to order acting upon prescriptions. The author develops a class of mathematical objects choices to model answers to why we should choose one policy over alternatives. Constructivist foundations also turn out to be prima facie pluralist foundations, in virtue of the nature of the norms guiding abstraction. This leads to a proof that, in a weakest base logic, legitimate moral or political codes in a pluralist context must reference each other. Upon explicating the distinction between perspectives that could consider unrealizable plans and perspectives that are themselves unrealizable, the author proves that in our world liberalism is itself an unrealizable plan. These results clearly illuminate what is at stake when justifying foundations for a liberal state