Zobrazeno 1 - 10
of 197
pro vyhledávání: '"Metcalfe, George"'
Autor:
Metcalfe, George, Santschi, Simon
This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial class of idempotent semifields has a finite basis; (ii) there are cont
Externí odkaz:
http://arxiv.org/abs/2402.09876
The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obta
Externí odkaz:
http://arxiv.org/abs/2310.15806
It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation property. The prev
Externí odkaz:
http://arxiv.org/abs/2310.14953
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 1 (January 26, 2024) lmcs:10937
Join-preserving maps on the discrete time scale $\omega^+$, referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in the course of program execution. The set of time warps forms a si
Externí odkaz:
http://arxiv.org/abs/2302.04668
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic semantics
Externí odkaz:
http://arxiv.org/abs/2209.08566
Autor:
Fussner, Wesley, Metcalfe, George
We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{Q}_{_\text{RFSI}}$ of the relatively finitely subdirectly irreducible members of a quasivariety $\mathcal{Q}$ to the whole quasivariety, and, i
Externí odkaz:
http://arxiv.org/abs/2205.05148
Autor:
Metcalfe, George, Tokuda, Naomi
We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defined by Marczewski for elements of an algebraic structure. Following ide
Externí odkaz:
http://arxiv.org/abs/2106.10100
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or time warps, can be used to qu
Externí odkaz:
http://arxiv.org/abs/2106.06205
We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (l-groups) if and only if it is valid in the variety DLM of distributive lattice-ordered monoids (distributive l-monoids). This contrasts with the fact that,
Externí odkaz:
http://arxiv.org/abs/2103.00146