satisfiability

This is especially true for the notions of set and collection in general, for the basic syntactical and semantical concepts of standard classical logic (logical languages of a given order, the notion of satisfiability, definability).

Paradoxes and Contemporary Logic Cantini, Andrea 2007

Last fall the former intern dropped by Kautz`s office unannounced to quiz him on an area of computer science called satisfiability testing.

Torrential Reign 2005

The Skolemizing process may not preserve equivalence but maintains satisfiability, which is enough for clause-based automated reasoning.

Automated Reasoning Portoraro, Frederic 2005

That a set of sentences is consistent in Hilbert's sense is a matter that's entirely independent of what its geometric terms mean, and this consistency is immediately implied by the satisfiability of the relation defined by those sentences when their geometric terms are treated as place-holders.

The Frege-Hilbert Controversy Blanchette, Patricia 2009

For Frege on the other hand, the differences just listed are crucial, particularly since the consistency of the thoughts expressed by the sentences construed as in (a) above is not implied either by the consistency of the thoughts expressed by those sentences understood as in (b) or by the satisfiability of the relation defined by the sentences understood as in (c).

The Frege-Hilbert Controversy Blanchette, Patricia 2009

The designated world, also known as the actual world, is required to define truth in such structures (as opposed to global truth or satisfiability).

Names Cumming, Sam 2009

Both the satisfiability of RAX and the consistency of AX, in the sense under discussion here, are matters that hold entirely independently of the meanings of such geometric terms as “point” and “line,” which serve in Hilbert's work essentially as empty place-holders, susceptible of multiple interpretations.

The Frege-Hilbert Controversy Blanchette, Patricia 2009

The full strength of the theory can then be appreciated by considering that its models are closed under each of these functors, modulo the satisfiability of the relevant conditions.

Wild Dreams Of Reality, 3 2009

In Dedekind's case, completeness is to be understood in a semantic sense, as based on categoricity; similarly, consistency is to be understood semantically, as satisfiability by a system of objects

Dedekind's Contributions to the Foundations of Mathematics Reck, Erich 2008

It is remarkable that the satisfiability problem of the binder-free hybrid logic over arbitrary frames is decidable in PSPACE, which is the same as the complexity of deciding satisfiability in ordinary modal logic.

Hybrid Logic Braüner, Torben 2008