On the consistency problem for the \(\mathcal {INDU}\) calculus
From MaRDI portal
Publication:2495387
DOI10.1016/j.jal.2005.06.002zbMath1098.03038MaRDI QIDQ2495387
Philippe Balbiani, Gérard Ligozat, Jean-François Condotta
Publication date: 30 June 2006
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2005.06.002
Related Items
Relation algebras of Sugihara, Belnap, Meyer, and Church, On the consistency problem for the \(\mathcal {INDU}\) calculus
Cites Work