Pages that link to "Item:Q2433093"

The following pages link to Willem Blok's contribution to abstract algebraic logic (Q2433093):

Displaying 10 items.

• The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
• Leibniz-linked pairs of deductive systems (Q647411) (← links)
• N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
• Stability of the Blok theorem (Q998759) (← links)
• Willem Blok and modal logic (Q2433092) (← links)
• Equivalence of consequence operations (Q2433095) (← links)
• Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms (Q3745838) (← links)
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
• The simplest protoalgebraic logic (Q5396225) (← links)