Sentence examples for propositional approach from inspiring English sources

This in fact coincides with the two different ways in which logical relations have been conceived in the history of philosophy: the former represents the term-logical approach characteristic of Aristotle, while the latter represents the propositional approach characteristic of the Stoics and much recent philosophy.

This work has largely centred on propositional approaches.

The last propositional-logic based approach we outline here is based on the idea of iteratively searching for models of propositional formulae and has been instantiated in the systems ArgSemSAT [82,22] and CEGARTIX [21,83].

This approach makes propositional logic a proper fragment of classical quantificational logic allowing one to subsume propositional quantification as a species of second-order quantification, i.e., quantification over 0-place predicate position.

Unfortunately, many philosophers still mistakenly assume that computationalism entails a functionalist approach to propositional attitudes (see Piccinini 2004 for discussion).

Initially proposed in a propositional logic setting, this approach has been generalized to quantified modal logics by Rantala himself (see Rantala 1982b), and developed into a unified framework for epistemic logics in interesting works by Heinrich Wansing 1989, 1990.

We describe three market-inspired approaches to propositional satisfiability.

On this view, propositions and propositional functions have an order.

A reduction approach going beyond pure propositional logic is to encode the reasoning problems in monadic second order logic (MSO).

Accordingly, in what follows, I'll divide the space of approaches to semantics into propositional and non-propositional semantic theories.

To avoid graph calculus, we use propositional logic and SAT solver-based approaches that have been demonstrated to be efficient for characterizing biochemical networks [ 46].