Bulletin of the Section of Logic 52/4 (2023)

Recent Submissions

  • The Cardinal Squaring Principle and an Alternative Axiomatization of NFU 

    Adlešić, Tin; Čačić, Vedran (Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-28)
    In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal ...

  • A Category of Ordered Algebras Equivalent to the Category of Multialgebras 

    Coniglio, Marcelo Esteban; de Toledo, Guilherme Vicentin (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)
    It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic ...

  • Cut Elimination for Extended Sequent Calculi 

    Martini, Simone; Masini, Andrea; Zorzi, Margherita (Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-25)
    We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) ...

  • On Implicative and Positive Implicative GE Algebras 

    Walendziak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-25)
    GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties ...

  • Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals 

    Hamidi , Mohammad (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-10)
    This paper introduces the concept of single-valued neutrosophic hyper \(BCK\)-subalgebras as a generalization and alternative of hyper \(BCK\)-algebras and on any given nonempty set constructs at least one single-valued ...

  • Fundamental Relation on HvBE-Algebras 

    Iranmanesh, Farzad; Ghadiri, Mansour; Borumand Saeid, Arsham (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-09)
    In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation. We show that quotient of any ...