BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Nick Bezhanishvili
SearchCollections
Map detail
Nick Bezhanishvili10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNick BezhanishviliANick BezhanishviliResearcherAdmissibility of $Π_2$-Inference Rules: interpolation, model completion, and contact algebrasWAdmissibility of $Π_2$-...preprint / 2022Minimisation in Logical FormWMinimisation in Logical...preprint / 2020A Study of Subminimal Logics of Negation and their Modal CompanionsWA Study of Subminimal L...preprint / 2020Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model CheckingWWeak Simplicial Bisimil...preprint / 2026Duality and universal models for the meet-implication fragment of IPCWDuality and universal m...preprint / 2014Finitely generated free Heyting algebras via Birkhoff duality and coalgebraWFinitely generated free...preprint / 2011Canonical formulas for k-potent commutative, integral, residuated latticesWCanonical formulas for ...preprint / 2016Games for Topological Fixpoint LogicWGames for Topological F...preprint / 2016Diego's Theorem for nuclear implicative semilatticesWDiego's Theorem for nuc...preprint / 2020
Person9 links

Nick Bezhanishvili

Researcher

PaperAdmissibility of Π2Π_2-Inference Rules: interpolation, model completion, and contact algebrasAuthorship / preprint / 2022PaperMinimisation in Logical FormAuthorship / preprint / 2020PaperA Study of Subminimal Logics of Negation and their Modal CompanionsAuthorship / preprint / 2020PaperWeak Simplicial Bisimilarity and Minimisation for Polyhedral Model CheckingAuthorship / preprint / 2026PaperDuality and universal models for the meet-implication fragment of IPCAuthorship / preprint / 2014PaperFinitely generated free Heyting algebras via Birkhoff duality and coalgebraAuthorship / preprint / 2011PaperCanonical formulas for k-potent commutative, integral, residuated latticesAuthorship / preprint / 2016PaperGames for Topological Fixpoint LogicAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)