Search Sciweavers | Sciweavers

12

ORDER
2008

82views more ORDER 2008»

13 years 5 months ago

For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (...

Guram Bezhanishvili, Nick Bezhanishvili

claim paper

Read More »

15

click to vote

ORDER
2008

86views more ORDER 2008»

Comparison of MacNeille, Canonical, and Profinite Completions

13 years 5 months ago

Download www.math.nmsu.edu

Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean al...

Guram Bezhanishvili, Jacob Vosmaer

claim paper

Read More »

13

click to vote

ORDER
2006

102views more ORDER 2006»

Profinite Completions and Canonical Extensions of Heyting Algebras

13 years 5 months ago

Download www.math.nmsu.edu

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patric...

claim paper

Read More »

11

click to vote

APAL
2007

119views more APAL 2007»

An algebraic approach to subframe logics. Intuitionistic case

13 years 5 months ago

Download www.math.nmsu.edu

We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframe...

Guram Bezhanishvili, Silvio Ghilardi

claim paper

Read More »

14

click to vote

JANCL
2002

113views more JANCL 2002»

Canonicity and Completeness Results for Many-Valued Modal Logics

13 years 5 months ago

Download pelopas.uop.gr

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...

Costas D. Koutras, Christos Nomikos, Pavlos Peppas

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers