Willem J. Blok - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2008

Assertionally Equivalent quasivarietiesWillem J. Blok, James G. Raftery. ijac, 18(4):589-681, 2008. [doi]

2006

Algebras Defined from Ordered Sets and the Varieties they GenerateJoel Berman, Willem J. Blok. order, 23(1):65-88, 2006. [doi]

The Beth Property in Algebraic LogicWillem J. Blok, Eva Hoogland. sLogica, 83(1-3):49-90, 2006. [doi]

Equivalence of Consequence OperationsWillem J. Blok, Bjarni Jónsson. sLogica, 83(1-3):91-110, 2006. [doi]

2004

Free Lukasiewicz and Hoop Residuation AlgebrasJoel Berman, Willem J. Blok. sLogica, 77(2):153-180, 2004. [doi]

Fragments of R-MingleWillem J. Blok, James G. Raftery. sLogica, 78(1-2):59-106, 2004. [doi]

2003

Algebraic Semantics for Deductive SystemsWillem J. Blok, Jordi Rebagliato. sLogica, 74(1-2):153-180, 2003.

2000

Komori Identities in Algebraic LogicWillem J. Blok, Silvia B. la Falce. rml, 34:79-106, 2000. [doi]

On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebrasWillem J. Blok, Clint J. van Alten. rml, 34:159-165, 2000.

1992

Equational DependenciesJoel Berman, Willem J. Blok. eik, 28(4):213-223, 1992.

1991

IntroductionWillem J. Blok, Don Pigozzi. sLogica, 50(3-4):365-374, 1991. [doi]

1988

Positive Boolean DependenciesJoel Berman, Willem J. Blok. ipl, 27(3):147-150, 1988.

Alfred Tarski s Work on General MetamathematicsWillem J. Blok, Don Pigozzi. JSYML, 53(1):36-50, 1988.

1986

On the lattice of quasivarieties of Sugihara algebrasWillem J. Blok, Wieslaw Dziobiak. sLogica, 45(3):275-280, 1986. [doi]

Protoalgebraic logicsWillem J. Blok, Don Pigozzi. sLogica, 45(4):337-369, 1986. [doi]

1983

Algebraic Semantics for Quasi-Classical Modal LogicsWillem J. Blok, P. Kohler. JSYML, 48(4):941-964, 1983.

1980

The Lattice of Modal Logics: An Algebraic InvestigationWillem J. Blok. JSYML, 45(2):221-236, 1980.

Sign in or sign up to see more results.

runs on WebDSL