Bulletin of the Section of Logic
Tom 47 (2018)

Int-Soft Ideals of Pseudo MV-Algebras

Young Bae Jun, Hashem Bordbar, Seok-Zun Song

A Useful Four-Valued Extension of the Temporal Logic KtT4

Vincent Degauquier

PC-lattices: A Class of Bounded BCK-algebras

Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar

Algebraic Characterization of the Local Craig Interpolation Property

Zal ́an Gyenis

Applications of Algebra in Logic and Computer Science – the Past and the Future

Joanna Grygiel

Submission Information

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

George Voutsadakis

Free Modal Pseudocomplemented De Morgan Algebras

A. V. Figallo, Nora Oliva, Alicia Ziliani

Variable Sharing in Substructural Logics: an Algebraic Characterization

Guillermo Badia

Pseudo-BCH Semilattices

Andrzej Walendziak

Grzegorczyk Algebras Revisited

Michał M. Stronkowski

Submission Information

Identity, Equality, Nameability and Completeness. Part II

Maria Manzano, Manuel Crescenio Moreno

On Interpolation in NEXT(KB.Alt(2))

Zofia Kostrzycka

B-almost distributive fuzzy lattice

Berhanu Assaye, Mihret Alemneh, Gerima Tefera

A comparison of two systems of point-free topology

Rafał Gruszczyński, Andrzej Pietruszczak

A post-style poof of completeness theorem for symmetric relatedness logic S

Mateusz Klonowski

Labeled Sequent Calculus for Orthologic

Tomoaki Kawano

On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories

Marcin Łyczak, Andrzej Pietruszczak

Rule-Generation Theorem and Its Applications

Andrzej Indrzejczak

On Injective MV-Modules

S. Saidi Goraghani, R. A. Borzooei