Search CORE

12 research outputs found

Some Examples of Distributive Ockham Algebras with de Morgan Skeletons

Author: HP Sankappanavar
J Berman
R Beazer
TS Blyth
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1990
Field of study

Amalgamation in Pseudocomplemented Semilattices

Author: G Grätzer
HP Sankappanavar
J Schmid
KB Lee
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1990
Field of study

On derived algebras and subvarieties of implication zroupoids

Author: BA Bernstein
H Rasiowa
Hanamantagouda P. Sankappanavar
HP Sankappanavar
J Plonka
Juan M. Cornejo
R Balbes
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Semisimple varieties of implication zroupoids

Author: A Bialynicki-Birula
BA Bernstein
H Rasiowa
Hanamantagouda P. Sankappanavar
HP Sankappanavar
J Kalman
Juan M. Cornejo
R Balbes
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property

Author: A Romanowska
BA Davey
G Fang
HP Sankappanavar
HP Sankappanavar
J Fang
J Fang
J Fang
J Fang
J Fang
J Guričan
Jie Fang
R Balbes
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

The Lattice of Varieties of Implication Semigroups

Author: BM Vernikov
Boris M. Vernikov
Hanamantagouda P. Sankappanavar
HP Sankappanavar
JM Cornejo
JM Cornejo
JM Cornejo
JM Cornejo
MV Volkov
S Burris
Sergey V. Gusev
SL Wismath
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

A Deterministic Weakening of Belnap–Dunn Logic

Author: A Pietz
A Urquhart
A Urquhart
AR Anderson
H Rasiowa
HP Sankappanavar
HP Sankappanavar
J Berman
J Czelakowski
JA Kalman
JM Font
JM Font
M Dunn
M Dunn
M Dunn
M Dunn
M Dunn
M Fitting
Minghui Ma
ML Ginsberg
R Balbes
R Jansana
R Wójcicki
TS Blyth
U Rivieccio
Yuanlei Lin
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

Author: A Bialynicki-Birula
AR Anderson
C Palma
D Hobby
Fei Liang
G Gentzen
H Rasiowa
HP Sankappanavar
JM Dunn
K Gödel
LL Maksimova
Minghui Ma
N Kamide
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

l-Hemi-Implicative Semilattices

Author: A Dvurecenskij
D Busneag
HB Curry
Hernán Javier San Martín
HJ San Martín
HJ San Martín
HP Sankappanavar
J Cīrulis
J Meng
JM Cornejo
JM Font
José Luis Castiglioni
LC Ciungu
M Ardeshir
PM Idziak
S Jenei
S Jenei
SA Celani
W Nemitz
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

MS-Algebras: a Survey

Author: A Urquhart
BA Davey
D Schweigert
H Lakser
HA Priestley
HA Priestley
HP Sankappanavar
J Berman
J Vaz de Carvalho
J Vaz de Carvalho
M Ramalho
M Sequeira
ME Adams
MS Goldberg
R Balbes
R Beazer
R Beazer
R Beazer
T Katrinak
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
TS Blyth
WH Cornish
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1990
Field of study

core

core