Geodesic

Sommaire du Fascicule no. 1

Roughness of Filters in Equality Algebras
p. 1-18
On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra
p. 19-38
The Theory of an Arbitrary Higher λ-Model
p. 39-58
The Modelwise Interpolation Property of Semantic Logics
p. 59-83
The Weak Variable Sharing Property
p. 85-99

Sommaire du Fascicule no. 2

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

Sommaire du Fascicule no. 3

Fractional-Valued Modal Logic and Soft Bilateralism
p. 275-299
Supposition: A Problem for Bilateralism
p. 301-327
Bilateral Rules as Complex Rules
p. 329-375
Harmony and Normalisation in Bilateral Logic
p. 377-409

Sommaire du Fascicule no. 4

Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals
p. 411-440
Fundamental Relation on \((H_{v})BE\)-Algebras
p. 441-458
Cut Elimination for Extended Sequent Calculi
p. 459-495
On Implicative and Positive Implicative GE Algebras
p. 497-515
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
p. 517-550
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
p. 551-581