Bulletin of the Section of Logic | Vol. 50, No. 4 (2021)
Opublikowano: 7 lutego 2022
“Bulletin of the Section of Logic” to nasza propozycja dla miłośników rachunku logicznego oraz metodologii i interpretacji algebraicznej. Najnowszy numer (PDF) gromadzi pięć tekstów, w których:
- Narges Akhlaghinia, Mona Aaly Kologani, Rajab Ali Borzooei i Xiao Long Xin tłumaczą kategorię algebr EQ (PDF),
- Damian E. Szmuc omawia największy fragment logiki klasycznej szanującej zasadę dzielenia się zmiennymi (w ramach FMLA-FMLA) (PDF),
- Takao Inoue oferuje dźwiękową interpretację Epsilonu Leśniewskiego w logice modalnej KTB (PDF),
- Tarek Sayed Ahmed pisze 0 pełnych przedstawieniach i minimalnych uzupełnieniach w logice algebraicznej (PDF),
- Yunge Hao i George Tourlakis prezentują arytmetycznie kompletną logikę modalną predykatu (PDF)
Zapraszamy do lektury! ♾
Komentarze
Ten post dostępny jest także w języku: angielski