BibSonomy
::
author
::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
bookmarks
publications
(12)
previous | 1
2
|
next
The Logic of Perfect MV-algebras.
Lawrence Peter
Belluce
and Antonio di
Nola
and Brunella
Gerla
EUSFLAT Conf. (2)
195-199 (2007)
to
dblp
by
dblp
on 2008-09-24 00:00:00
|
URL
|
BibTeX
Symmetric MV-Algebras.
Lawrence Peter
Belluce
and Antonio di
Nola
and Ada
Lettieri
Algebraic and Proof-theoretic Aspects of Non-classical Logics
30-49 (2006)
to
dblp
by
dblp
on 2007-10-30 00:00:00
|
URL
|
BibTeX
Perfect MV -algebras and their Logic.
Lawrence Peter
Belluce
and Antonio di
Nola
and Brunella
Gerla
Applied Categorical Structures
15
135-151 (2007)
to
dblp
by
dblp
on 2007-09-11 00:00:00
|
URL
|
BibTeX
Products of Ideals in MV -algebras.
Lawrence Peter
Belluce
and Ada
Lettieri
and Salvatore
Sessa
Journal of Applied Non-Classical Logics
11
341-350 (2001)
to
dblp
by
dblp
on 2006-08-24 00:00:00
|
URL
|
BibTeX
Boolean dominated MV-algebras.
Lawrence Peter
Belluce
and Ada
Lettieri
Soft Comput.
9
536-543 (2005)
to
dblp
by
dblp
on 2006-01-27 00:00:00
|
URL
|
BibTeX
Representations of monadic MV -algebras.
Lawrence Peter
Belluce
and Revaz
Grigolia
and Ada
Lettieri
Studia Logica
81
123-144 (2005)
to
dblp
by
dblp
on 2006-01-27 00:00:00
|
URL
|
BibTeX
Frames and MV-algebras.
Lawrence Peter
Belluce
and Antonio di
Nola
Studia Logica
81
357-385 (2005)
to
dblp
by
dblp
on 2006-01-13 00:00:00
|
URL
|
BibTeX
The Prime Spectrum of an MV-Algebra.
Antonio di
Nola
and Lawrence Peter
Belluce
and Salvatore
Sessa
Math. Log. Q.
40
331-346 (1994)
to
dblp
by
dblp
on 2003-12-12 00:00:00
|
URL
|
BibTeX
Yosida Type Representation for Perfect MV-Algebras.
Lawrence Peter
Belluce
and Antonio di
Nola
Math. Log. Q.
42
551-563 (1996)
to
dblp
by
dblp
on 2003-12-11 00:00:00
|
URL
|
BibTeX
A Weak Completeness Theorem for Infinite Valued First-Order Logic.
Lawrence Peter
Belluce
and C. C.
Chang
J. Symb. Log.
28
43-50 (1963)
to
dblp
by
dblp
on 2003-11-20 00:00:00
|
URL
|
BibTeX
previous | 1
2
|
next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
dblp