Reasoning about set constraints applied to tractable inference in intuitionistic logic

DOI10.1093/logcom/8.6.855zbMath0913.68196OpenAlexW2055967649MaRDI QIDQ4228078

Thomas Drakengren, Peter Jonsson

Publication date: 2 February 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/afb046572dc4f758f5ccf7879c54b4e3b5e9e4c3

zbMATH Keywords

automated reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Peek arc consistency

This page was built for publication: Reasoning about set constraints applied to tractable inference in intuitionistic logic