Przeglądaj Bulletin of the Section of Logic 52/4 (2023) według tytułu

Wyświetlanie pozycji 1-6 z 6

    • 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}\) ...

    • 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 ...

    • 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 ...