Pages that link to "Item:Q2433093"
From MaRDI portal
The following pages link to Willem Blok's contribution to abstract algebraic logic (Q2433093):
Displaying 4 items.
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Willem Blok and modal logic (Q2433092) (← 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)