Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bezhanishvili, Nick - Department of Computer Science, University of Leicester
BITOPOLOGICAL DUALITY FOR DISTRIBUTIVE LATTICES AND HEYTING ALGEBRAS
Nick Bezhanishvili Ian Hodkinson
Lattices of intermediate and cylindric modal logics
Algebra univers. 48 (2002) 1142 0002-5240/02/010011 32
Math. Log. Quart. 48 (2002) 4, 624 636 Mathematical Logic
Frame based formulas for intermediate logics Nick Bezhanishvili
Transfer results for hybrid logic Part I: the case without satisfaction operators
De Jongh's characterization of intuitionistic propositional calculus
Vietoris bisimulations N. Bezhanishvili, G. Fontaine and Y. Venema
Algebra univers. 51 (2004) 177206 0002-5240/04/030177 30
FREE HEYTING ALGEBRAS: REVISITED NICK BEZHANISHVILI, MAI GEHRKE, ALEXANDER KURZ
