Bulletin of the Section of Logic, Tome 51 (2022)

Geodesic

Parcourir par

Sommaire du Fascicule no. 1

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

López, Sandra M.

p. 27-56

A Note on the Intuitionistic Logic of False Belief

Witczak, Tomasz

p. 57-71

Weakly Free Multialgebras

Coniglio, Marcelo Esteban ; Vicentin de Toledo, Guilherme

p. 109-141

Sommaire du Fascicule no. 2

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Braüner, Torben

p. 143-162

Proof Compression and NP Versus PSPACE II: Addendum

Gordeev, Lew ; Haeusler, Edward Hermann

p. 197-205

A Variant of Material Connexive Logic

Belikov, Alexander ; Zaitsev, Dmitry

p. 227-242

Sommaire du Fascicule no. 4

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Cornejo, Juan Manuel ; Sankappanavar, Hanamantagouda P.

p. 555-645