Algebraic axiomatization of tense intuitionistic logic

From MaRDI portal
Publication:657427

DOI10.2478/s11533-011-0063-6zbMath1260.03113OpenAlexW2051677278MaRDI QIDQ657427

Ivan Chajda

Publication date: 16 January 2012

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-011-0063-6




Related Items (20)



Cites Work


This page was built for publication: Algebraic axiomatization of tense intuitionistic logic