Natural deduction is a logical system that closely mimics the natural human reasoning process, using not axioms but rather assumptions that are made and later discharged when they are no longer needed. Logical proofs like these, however, lack the ability to handle varying levels of uncertainty and the contradictions that may arise when they are applied to real world situations. The goal of the ...

Traditional QFD planning method compromises contradictions between engineering characteristics to achieve higher customer satisfaction. However, this compromise trade-off can not eliminate the contradictions existing among the engineering characteristics which limited the overall customer satisfaction. QFD (Quality function deployment) integrated with TRIZ (the Russian acronym of the Theory of ...

The dominant theories of rational choice assume logical omniscience. That is, they that when facing a decision problem, an agent can perform all relevant computations and determine the truth value logical/mathematical claims. This assumption is unrealistic when, for example, we offer bets on remote digits pi or faces computationally intractable planning problem. Furthermore, omniscience creates...

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...