Results 11 to 20 of about 85 (58)
Intuitionistic logic and Muchnik degrees [PDF]
, 2012 We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic.
Andrea Sorbi, Sebastiaan A. Terwijn
core +1 more source
Hyperfinite and standard unifications for physical theories
International Journal of Mathematics and Mathematical Sciences, Volume 28, Issue 2, Page 93-102, 2001., 2001 A set of physical theories is represented by a nonempty subset {SNjV|j∈ℕ} of the lattice of consequence operators defined on a language Λ. It is established that there exists a unifying injection 𝒮 defined on the nonempty set of significant representations for natural systems M ⊂ Λ. If W ∈ M, then 𝒮W is a hyperfinite ultralogic and ⋃{SNjV(W)|j∈ℕ}=𝒮W(*W)
Robert A. Herrmann
wiley +1 more source
Tail and free poset algebras. [PDF]
, 2004 We characterize free poset algebras F(P) over partially ordered sets and show that they can be represented by upper semi-lattice algebras. Hence, the uniqueness, in decomposition into normal form, using symmetric difference, of non-zero elements of F(P ...
Bekkali, Mohamed, Zhani, Driss
core +2 more sources
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper, we define residuated skew lattice as non-commutative generalization of residuated lattice and investigate its properties. We show that Green’s relation 𝔻 is a congruence relation on residuated skew lattice and its quotient algebra is a ...
Saeid Arsham Borumand +1 more
doaj +1 more source
Braid groups of imprimitive complex reflection groups [PDF]
, 2015 We obtain new presentations for the imprimitive complex reflection groups of type $(de,e,r)$ and their braid groups $B(de,e,r)$ for $d,r \ge 2$. Diagrams for these presentations are proposed.
Corran, Ruth +2 more
core +1 more source
Principal congruences in weak Heyting algebras [PDF]
, 2016 Let A be a weak Heyting algebra and let a, b ∈ A. We give a description for the congruence generated by the pair (a, b), and we use it in order to give a necessary and sufficient condition for a function f : Ak → A to be compatible with every congruence ...
San Martín, Hernán Javier
core +2 more sources
On homomorphic images and the free distributive lattice extension of a distributive nearlattice [PDF]
, 2016 In this paper we will introduce N-Vietoris families and prove that homomorphic images of distributive nearlattices are dually characterized by N-Vietoris families.
Calomino, Ismael Maria +1 more
core +1 more source
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations [PDF]
, 2020 Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De Morgan non-Boolean four-valued ...
Pynko, Alexej P.
core +1 more source
Distributive nearlattices with a necessity modal operator [PDF]
, 2019 The aim of this paper is to study the class of distributive nearlattices with a necessity modal operator. We develop a full duality to the category of distributive nearlattices whose morphisms are applications that preserving the infimum when exists and,
Calomino, Ismael Maria +1 more
core +1 more source
Type space functors and interpretations in positive logic [PDF]
, 2020 We construct a 2-equivalence CohTheoryop≃TypeSpaceFunc. Here CohTheory is the 2-category of positive theories and TypeSpaceFunc is the 2-category of type space functors.
Kamsma, Mark
core +2 more sources