The Class of Extensions of Nelson's Paraconsistent Logic

The article is devoted to the systematic study of the lattice εN4_⊥ consisting of logics extending N4_⊥. The logic N4_⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4_⊥ and the lattice of superintuitionistic logics. Distinguish in εN4_⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate. The author acknowledges support by the Alexander von Humboldt-Stiftung and by Counsil for Grants under RF President, project NSh - 2112.2003.1.     

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency

In this paper, I present the modal adaptive logic AJ ^r (based on S5) as well as the discussive logic D ^r ₂ that is defined from it. D ^r ₂ is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D ₂ . Like D ₂ , D ^r ₂ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D ^r ₂ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D ₂ , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, Jo?o Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions.     

Willem Blok's Contribution to Abstract Algebraic Logic

Willem Blok was one of the founders of the field Abstract Algebraic Logic. The paper describes his research in this field. Dedicated to the memory of Willem Johannes Blok     

Towards a Semantic Characterization of Cut-Elimination

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.     

Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro

For each integer n ≥ 2, MV_n denotes the variety of MV-algebras generated by the MV-chain with n elements. Algebras in MV_n are represented as continuous functions from a Boolean space into a n-element chain equipped with the discrete topology. Using these representations, maximal subalgebras of algebras in MV_n are characterized, and it is shown that proper subalgebras are intersection of maximal subalgebras. When A ∈ MV₃, the mentioned characterization of maximal subalgebras of A can be given in terms of prime filters of the underlying lattice of A, in the form that was conjectured by A. Monteiro. Mathematics Subject Classification (2000): 06D30, 06D35, 03G20, 03B50, 08A30. Presented by Daniele Mundici     

The Beth Property in Algebraic Logic

The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics. Dedicated to the memory of Willem Johannes Blok     

Model checking hybrid logics (with an application to semistructured data)

We investigate the complexity of the model checking problem for hybrid logics. We provide model checking algorithms for various hybrid fragments and we prove PSPACE-completeness for hybrid fragments including binders. We complement and motivate our complexity results with an application of model checking in hybrid logic to the problems of query and constraint evaluation for semistructured data.