Sommaire du Fascicule no. 1

Roughness of Filters in Equality Algebras
On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra
The Theory of an Arbitrary Higher λ-Model
The Modelwise Interpolation Property of Semantic Logics
The Weak Variable Sharing Property

Sommaire du Fascicule no. 2

Structural Rules in Natural Deduction with Alternatives
Core Type Theory
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic

Sommaire du Fascicule no. 3

Fractional-Valued Modal Logic and Soft Bilateralism
Supposition: A Problem for Bilateralism
Bilateral Rules as Complex Rules
Harmony and Normalisation in Bilateral Logic

Sommaire du Fascicule no. 4

Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals
Fundamental Relation on \((H_{v})BE\)-Algebras
Cut Elimination for Extended Sequent Calculi
On Implicative and Positive Implicative GE Algebras
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU