We introduce the notion of positive strong amalgamation property and we investigate some universal forms and properties of this notion. Considering the close relationship between the amalgamation property and the notion of complete theories, we explore the fundamental properties of positively complete theories, and we illustrate the behaviour of this notion by bringing changes to the language of the theory through the groups theory.

We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.

The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical propositional calculus, takes the logical value of truth for the majority of Boolean valuations, i.e., as a logically probable formula. Then, the formal system P is developed to encode the set of these logically probable formulas. Based on natural semantics, a (...) strong completeness theorem for P is proved. Alternative notions of consequence for logically probable sentences are also considered. (shrink)

We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of free algebras into directly indecomposable factors.

We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely conjunction, disjunction and falsum as well as the intuitionistic implication, the classical implication and the necessity modality. We present a Gentzen calculus for the combined logic defined over a Gentzen calculus for the host S4 modal logic. The semantics is provided by Kripke structures. (...) The calculus is proved to be sound and complete with respect to this semantics. We also show that the combined logic is a conservative extension of each component. Finally we establish that the Gentzen calculus for the combined logic enjoys cut elimination. (shrink)

In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin’s Positive Implicative Logic. Their properties and characterizations are investigated. Some important results and examples are given. Moreover, positive implicative pre-Hilbert algebras are introduced and studied, their connections with some algebras of logic are presented. The hierarchies existing between the classes of algebras considered here are shown.

We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite. Let \(\bf Ord\) denote the class of all ordinals. Let \(\langle \mathbf{K}_{\alpha}: \alpha\in \bf Ord\rangle\) be a system of varieties definable by a schema. Given any ordinal \(\alpha\), we define an operator \(\mathsf{Nr}_{\alpha}\) that acts on \(\mathbf{K}_{\beta}\) for any \(\beta>\alpha\) giving an algebra in \(\mathbf{K}_{\alpha}\), (...) as an abstraction of taking \(\alpha\)-neat reducts for cylindric algebras. We show that for any positive \(k\), and any infinite ordinal \(\alpha\) that \(\mathbf{S}\mathsf{Nr}_{\alpha}\mathbf{K}_{\alpha+k+1}\) cannot be axiomatized by a finite schema over \(\mathbf{S}\mathsf{Nr}_{\alpha}\mathbf{K}_{\alpha+k}\) given that the result is valid for all finite dimensions greater than some fixed finite ordinal. We apply our results to cylindric algebras and Halmos quasipolyadic algebras with equality. As an application to our algebraic result we obtain a strong incompleteness theorem (in the sense that validitities are not captured by finitary Hilbert style axiomatizations) for an algebraizable extension of \(L_{\omega,\omega}\). (shrink)

In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were provided by using such concepts. We defined the concepts of \((\in, \in)\) and \((\in, \in\! \vee \, {q})\)-fuzzy ideals of equality algebras, discussed some properties, and found some equivalent definitions of them. In addition, we investigated the relation between different kinds of \((\alpha,\beta)\)-fuzzy subalgebras and \((\alpha,\beta)\)-fuzzy ideals on equality algebras. (...) Also, by using the notion of \((\in, \in)\)-fuzzy ideal, we defined two equivalence relations on equality algebras and we introduced an order on classes of \(X\), and we proved that the set of all classes of \(X\) by these order is a poset. (shrink)

In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a modal operator \(\square\) and a binary operator \(\Rightarrow\) such that \(\mathbf{BIL}\subseteq\mathbf{BIL}^{+}\subseteq\mathbf{IL}\). The logic \(\mathbf{BIL}\) is generated by the relational structures \(\left \), called basic frames, where \(\left \) is a Kripke frame and \(\left \) is a neighborhood frame. We will prove that the logic \(\mathbf{BIL}^{+}\) is generated (...) by the basic frames where the binary relation \(R\) is definable by the neighborhood relation \(N\) and, therefore, the neighborhood semantics is suitable to study the logic \(\mathbf{BIL}^{+}\) and its extensions. We shall also study some axiomatic extensions of \(\mathsf{\mathbf{BIL}}\) and we will prove that these extensions are sound and complete with respect to a certain classes of basic frames. Finally, we prove that the logic BIL+ and some of its extensions are complete respect with the class of neighborhood frames. (shrink)

In this paper, we defined the concept \(\mathcal{SUP}\)-hesitant fuzzy interior ideals in \(\Gamma\)-semigroups, which is generalized of hesitant fuzzy interior ideals in \(\Gamma\)-semigroups. Additionally, we study fundamental properties of \(\mathcal{SUP}\)-hesitant fuzzy interior ideals in \(\Gamma\)-semigroups. Finally, we investigate characterized properties of those.

Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a syntactic proof of decidability of monadic first-order logic in innex normal form which exploits G3-style sequent calculi. In particular, we introduce a cut- and contraction-free calculus having a (complexity-optimal) terminating proof-search procedure. We also show that this logic can be faithfully embedded in the modal (...) logic T. (shrink)

Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger framework. Modifying MALL, researchers have explored weaker logics such as Noncommutative MALL (Bilinear Logic, BL) and Cyclic MALL (CyMALL) to investigate variations in commutativity. In this paper, we focus on Cyclic Nonassociative Bilinear Logic (CyNBL), a variant that combines noncommutativity and nonassociativity. We introduce a sequent system for (...) CyNBL, which includes an auxiliary system for incorporating nonlogical axioms. Notably, we establish the cut elimination property for CyNBL. Moreover, we establish the strong conservativeness of CyNBL over Full Nonassociative Lambek Calculus (FNL) without additive constants. The paper highlights that all proofs are constructed using syntactic methods, ensuring their constructive nature. We provide insights into constructing cut-free proofs and establishing a logical relationship between CyNBL and FNL. (shrink)

In this paper, considering \(L\)-algebras, which include a significant number of other algebraic structures, we present a definition of modules on \(L\)-algebras (\(L\)-modules). Then we provide some examples and obtain some results on \(L\)-modules. Also, we present definitions of prime ideals of \(L\)-algebras and \(L\)-submodules (prime \(L\)-submodules) of \(L\)-modules, and investigate the relationship between them. Finally, by proving a number of theorems, we provide some conditions for having prime \(L\)-submodules.

Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of objects that are fundamental (...) building blocks of specific topological spaces. (shrink)

The main goal of this paper is to introduce the notion of stabilizers in \(L\)-algebras and develop stabilizer theory in \(L\)-algebras. In this paper, we introduced the notions of left and right stabilizers and investigated some related properties of them. Then, we discussed the relations among stabilizers, ideal and co-annihilators. Also, we obtained that the set of all ideals of a \(CKL\)-algebra forms a relative pseudo-complemented lattice. In addition, we proved that right stabilizers in \(CKL\)-algebra are ideals. Then by using (...) the right stabilizers we produced a basis for a topology on \(L\)-algebra. We showed that the generated topology by this basis is Baire, connected, locally connected and separable and we investigated the other properties of this topology. (shrink)

A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization (...) is investigated. (shrink)

Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special translation functions between discussive and modal languages, and supporting at the same time the tradition of paracomplete logics being the counterpart of paraconsistent ones, we present a paracomplete discussive logic D2p.