|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 12 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Willem J. Blok, James G. Raftery |
Assertionally Equivalent quasivarieties.  |
IJAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem J. Blok, Bjarni Jónsson |
Equivalence of Consequence Operations. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem J. Blok, Eva Hoogland |
The Beth Property in Algebraic Logic. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
equivalential logics, Beth definability property, epimorphisms, algebraizable logics, Abstract algebraic logic |
| 1 | Joel Berman, Willem J. Blok |
Algebras Defined from Ordered Sets and the Varieties they Generate. |
Order |
2006 |
DBLP DOI BibTeX RDF |
equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra |
| 1 | Joel Berman, Willem J. Blok |
Free Lukasiewicz and Hoop Residuation Algebras. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra |
| 1 | Willem J. Blok, James G. Raftery |
Fragments of R-Mingle. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
Sugihara algebra, mingle, fragment, RM, relevance logic |
| 1 | Willem J. Blok, Jordi Rebagliato |
Algebraic Semantics for Deductive Systems. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem J. Blok, Silvia B. la Falce |
Komori Identities in Algebraic Logic. |
Reports on Mathematical Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Willem J. Blok, Clint J. van Alten |
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras. |
Reports on Mathematical Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Joel Berman, Willem J. Blok |
Equational Dependencies. |
Elektronische Informationsverarbeitung und Kybernetik |
1992 |
DBLP BibTeX RDF |
|
| 1 | Joel Berman, Willem J. Blok |
Positive Boolean Dependencies. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem J. Blok, Don Pigozzi |
Alfred Tarski's Work on General Metamathematics. |
J. Symb. Log. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Willem J. Blok, P. Kohler |
Algebraic Semantics for Quasi-Classical Modal Logics. |
J. Symb. Log. |
1983 |
DBLP BibTeX RDF |
|
| 1 | Willem J. Blok |
The Lattice of Modal Logics: An Algebraic Investigation. |
J. Symb. Log. |
1980 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")