Zobrazeno 1 - 10
of 520
pro vyhledávání: '"03g10"'
Autor:
Carollo, Imanol Mozo
The aim of this paper is to give mathematical account of an argument of David Lewis in Parts of Classes in defense of universalism in mereology. Specifically we study how to extend models of Core Mereology (following Achille Varzi's terminology) to m
Externí odkaz:
http://arxiv.org/abs/2410.02350
We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the trivial va
Externí odkaz:
http://arxiv.org/abs/2409.09015
Autor:
Giustarini, Valeria, Ugolini, Sara
In this work we study integral residuated chains, and we solve some open problems related to the study of the amalgamation property in varieties of residuated lattices, or equivalently, about the deductive interpolation property in substructural logi
Externí odkaz:
http://arxiv.org/abs/2408.17400
Autor:
Deakin, Jonte, de Groot, Jim
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak positive logic. We provide semantics for sub-sub-intuitionistic logic by m
Externí odkaz:
http://arxiv.org/abs/2408.12030
Autor:
Izhakian, Zur, Knebusch, Manfred
The category $STROP_m$ of supertropical monoids, whose morphisms are transmissions, has the full--reflective subcategory $STROP$ of commutative semirings. In this setup, quotients are determined directly by equivalence relations, as ideals are not ap
Externí odkaz:
http://arxiv.org/abs/2408.10772
Autor:
Cardó, Carles
Publikováno v:
Arithmetic and k-maximality of the cyclic free magma. Algebra Universalis, 80:35 (2019)
We survey free magmas and we explore the structure of their submagmas. By equipping the cyclic free magma with a second distributive operation we obtain a ringoid-like structure with some primitive arithmetical properties. A submagma is $k$-maximal w
Externí odkaz:
http://arxiv.org/abs/2407.17692
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra terms, simple
Externí odkaz:
http://arxiv.org/abs/2405.14581
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kripke semantics for modal logic. We also generalize other important mod
Externí odkaz:
http://arxiv.org/abs/2404.05574
Autor:
Holliday, Wesley H.
Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal logics via alg
Externí odkaz:
http://arxiv.org/abs/2403.14043
Autor:
Holliday, Wesley H.
In recent work, we introduced a new semantics for conditionals, covering a large class of what we call preconditionals. In this paper, we undertake an axiomatic study of preconditionals and subclasses of preconditionals. We then prove that any bounde
Externí odkaz:
http://arxiv.org/abs/2402.02296