modernization has occurred in philosophical discourses of new sadrāi in form, method and content. changes and modernization also have occurred in the philosophy of mullā hadi sabzevari in relation with these issues. accordingly, we introduce him as initiator of the philosophical movement of new sadrāi. although his thought is in the line of sadrāi philosophy, there are some disagreements betwee...

all practical digital circuits are usually a mixture of combinational and sequential logic. flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. the concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...

Abstract We translate the three-valued quantum logic into modal logic, and prove 3-equivalence between valuation of a kind Kripke model in regard to this translation. To 3-equivalence, we introduce an observable-dependent which is fragment many-valued logic. Compared Birkhoff von Neumann’s some notions about observables, completeness relation for example, mechanics can be utilized if employed.

In this paper, we present an alternative interpretation of propositional inquisitive logic as epistemic knowing how. our setting, formula $\alpha$ being supported by a state is formalized "knowing how to resolve $\alpha$" (more colloquially, true") holds on the S5 model corresponding state. Based interpretation, use dynamic with both know-how and know-that operators capture information behind i...