zbMath1194.03025MaRDI QIDQ992074
J. Malec, M. Asker
Publication date: 10 September 2010 Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave) Full work available at URL: http://bulletin.pan.pl/(53-1)69.html
zbMATH Keywords
labelled deductive systems; active logic; reasoning with limited resources
Mathematics Subject Classification ID
03B60: Other nonclassical logic
03B22: Abstract deductive systems
Related Items