DOMAINS :: SMT-LIB :: Some SMT-COMP/LIB issues

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. Some SMT-COMP/LIB issues

savakrstic wrote at Jan 24, 2005 - 10:23 AM
---------------------------------------------------------------------
Thanks to Cesare for clarifications. I agree that the ``sublogic
ordering'' is not terribly important for SMT-LIB, but isn't it a
little odd that (T,F) is a sublogic of (T',F) precisely when T' is
logically weaker than T? I guess that normally one would expect that
in a sublogic-superlogic relationship, the smaller guy has less
theorems in some sense. Also, there is a commonly (and probably)
unambiguously used term ``fragment of a theory'' that describes what
we call ``logic'' in this thread of messages.

Sava

---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=54&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=54

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/