Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Wojciech Dzik
Map detail
Wojciech Dzik5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipWojciech DzikAWojciech DzikResearcherIntuitionistic logic with two Galois connections combined with Fischer Servi axiomsWIntuitionistic logic wi...preprint / 2012Representing distributive lattices with Galois connections in terms of rough setsWRepresenting distributi...preprint / 2013Intuitionistic logic with a Galois connection has the finite model propertyWIntuitionistic logic wi...preprint / 2011Characterizing intermediate tense logics in terms of Galois connectionsWCharacterizing intermed...preprint / 2014
Person4 links

Wojciech Dzik

Researcher