Bulletin of the Section of Logic | Vol. 53, No. 2 ( 2024)

Opublikowano: 21 June 2024
Kopia – Tekst akapitu-2
Bulletin of the Section of Logic (BSL) jest kwartalnikiem naukowym Wydawnictwa Uniwersytetu Łódzkiego. Założone w 1972 przez Ryszarda Wójcickiego (przewodniczącego sekcji logiki Polskiej Akademii Nauk), czasopismo stanowi forum służące rozpowszechnianiu wyników badań dotyczących kalkulacji logicznych – ich metodologii, zastosowań i interpretacji algebraicznych – zawsze w krótkiej i zwięzłej formie.
W numerze:
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
Tarek Sayed Ahmed
SUP-Hesitant Fuzzy Interior Ideals in Γ-Semigroups
Pannawit Khamrot, Thiti Gaketem
Some Logics in the Vicinity of Interpretability Logics
Sergio A. Celani
Fuzzy Sub-Equality Algebras Based on Fuzzy Points
Mona Aaly Kologani, Mohammad Mohseni Takallo, Young Bae Jun, Rajab Ali Borzooei
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Eugenio Orlandelli, Matteo Tesi
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Paweł Płaczek

 

Komentarze

Ten post dostępny jest także w języku: Polish