implicative semilattices
Recently Published Documents


TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Author(s):  
G. Bezhanishvili ◽  
N. Bezhanishvili ◽  
L. Carai ◽  
D. Gabelaia ◽  
S. Ghilardi ◽  
...  


Studia Logica ◽  
2017 ◽  
Vol 106 (4) ◽  
pp. 675-690 ◽  
Author(s):  
José Luis Castiglioni ◽  
Hernán Javier San Martín


2017 ◽  
Vol 26 (1) ◽  
pp. 47-82
Author(s):  
Ramon Jansana ◽  
Hernán Javier San Martín


2011 ◽  
Vol 21 (2) ◽  
pp. 181-208 ◽  
Author(s):  
Guram Bezhanishvili ◽  
Ramon Jansana




2002 ◽  
Vol 143 (1-4) ◽  
pp. 197-204
Author(s):  
Young Bae Jun


1982 ◽  
Vol 34 (2) ◽  
pp. 423-437 ◽  
Author(s):  
C. S. Hoo

Let L be a semilattice and let a ∊ L. We refer the reader to Definitions 2.2, 2.4, 2.5 and 2.12 below for the terminology. If L is a-implicative, let Ca be the set of a-closed elements of L, and let Da be the filter of a-dense elements of L. Then Ca is a Boolean algebra. If a = 0, then C0 and D0 are the usual closed algebra and dense filter of L. If L is a-admissible and f : Ca × Da → Da is the corresponding admissible map, we can form a quotient semilattice Ca × D0f. In case a = 0, Murty and Rao [4] have shown that C0 × D0/f is isomorphic to L, and hence that C0 × D0 is 0-admissible. In case L is in fact implicative, Nemitz [5] has shown that C0 × D0/f is isomorphic to L, and that C0 × D0/f is also implicative.



1980 ◽  
Vol 10 (1) ◽  
pp. 31-35
Author(s):  
P. V. Ramana Murty


1979 ◽  
Vol 9 (1) ◽  
pp. 244-249
Author(s):  
William C. Nemitz


Sign in / Sign up

Export Citation Format

Share Document