Results 41 to 50 of about 108 (66)
Epimorphisms between finitely generated algebras
A quasivariety has the weak ES property when the epimorphisms between its finitely generated members are surjective. A characterization of quasivarieties with the weak ES property is obtained and a method for detecting failures of this property in ...
Carai, Luca +2 more
core
Failure of the Blok-Esakia Theorem in the monadic setting
The Blok-Esakia Theorem establishes that the lattice of superintuitionistic logics is isomorphic to the lattice of extensions of Grzegorczyk's logic. We prove that the Blok-Esakia isomorphism $\sigma$ does not extend to the fragments of the corresponding
Bezhanishvili, Guram, Carai, Luca
core
MacNeille transferability and stable classes of Heyting algebras [PDF]
, 2018 Bezhanishvili, G. +3 more
core +1 more source
Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators
The classical belief revision framework, as proposed by Alchourron, Gardenfors, and Makinson, involves the revision of a theory based on eight postulates.
Wang, Baoshan +4 more
core
An algebraic approach to filtrations for superintuitionistic logics [PDF]
, 2016 Bezhanishvili, G., Bezhanishvili, N.
core
Some of the next articles are maybe not open access.
Related searches:
Related searches:
STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES
Quaestiones Mathematicae, 1990Bernhard Banaschewski
exaly
Local connectedness and the wallman compactification
Quaestiones Mathematicae, 2012Dharmanand Baboolal
exaly