Bulletin of the Section of Logic

Article

• Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts

  Tarek Sayed Ahmed (Author)

  145-154

  • PDF

• SUP-Hesitant Fuzzy Interior Ideals in \(\Gamma\)-Semigroups

  Pannawit Khamrot, Thiti Gaketem (Author)

  155-171

  • PDF

• Some Logics in the Vicinity of Interpretability Logics

  Sergio A. Celani (Author)

  173-193

  • PDF

• Fuzzy Sub-Equality Algebras Based on Fuzzy Points

  Mona Aaly Kologani, Mohammad Mohseni Takallo, Young Bae Jun, Rajab Ali Borzooei (Author)

  195-222

  • PDF

• A Syntactic Proof of the Decidability of First-Order Monadic Logic

  Eugenio Orlandelli, Matteo Tesi (Author)

  223-244

  • PDF

• Sequent Systems for Consequence Relations of Cyclic Linear Logics

  Paweł Płaczek (Author)

  245-274

  • PDF