Related papers: Implications in pseudocomplemented and Stone latti…
An insulating optical lattice with double-well sites is considered. In the case of the unity filling factor, an effective Hamiltonian in the pseudospin representation is derived. A method is suggested for manipulating the properties of the…
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$…
We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slanted (co-)Heyting algebras as equivalent presentations of…
We investigate the complexity of the partial order relation of Young's lattice. The definable relations are characterized by establishing the maximal definability property modulo the single automorphism given by conjugation; consequently,…
We introduce the dual Koenigs lattices, which are the integrable discrete analogues of conjugate nets with equal tangential invariants, and we find the corresponding reduction of the fundamental transformation. We also introduce the notion…
The thermodynamics of the lattice model of intercalation of ions in crystals is considered in the mean field approximation. Pseudospin formalism is used for the description of interaction of electrons with ions and the possibility of…
We consider some examples of quantum super-integrable systems and the associated nonlinear extensions of Lie algebras. The intimate relationship between super-integrability and exact solvability is illustrated. Eigenfunctions are…
We prove the existence of lattice isomorphic line arrangements having $\pi_1$-equivalent or homotopy-equivalent complements and non homeomorphic embeddings in the complex projective plane. We also provide two explicit examples, one is…
For a partially ordered set P, we denote by Co(P) the lattice of order-convex subsets of P. We find three new lattice identities, (S), (U), and (B), such that the following result holds. Theorem. Let L be a lattice. Then L embeds into some…
Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional…
In this paper we discuss the notion of completeness of topologized posets and survey some recent results on closedness properties of complete topologized semilattices.
We study two-component fermions in optical lattices with spatially alternating on-site interactions using dynamical mean-field theory. Calculating the quasi-particle weight, double occupancy, and order parameters for each sublattice, we…
The purpose of this article is to propose and investigate a partial order structure weaker than the lattice structure and which have nice properties regarding closure operators. We extend accordingly closed pattern mining and formal concept…
We study the combined effects of lattice deformation, e-e interaction and spin-orbit coupling in a two-dimensional (2D) honeycomb lattice. We adopt different kinds of hopping modulation--generalized dimerization and a Kekule distortion--and…
We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…
A system of two identical spinless bosons on the two-dimensional lattice is considered under the assumption that on-site and first and second nearest-neighboring site interactions between the bosons are only nontrivial and that these…
We introduce the notion of an orthocomplemented subspace of a Hilbert space H, that is, a pair of orthogonal closed subspaces of H, as a two-dimensional counterpart to the one-dimensional notion of a closed subspace of H. Orthocomplemented…
We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set \Gamma intuitively means…
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…