Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...

Aristotelian diagrams, such as the square of opposition, are well-known in context normal modal logics (i.e., systems logic which can be given a relational semantics terms Kripke models). This paper studies diagrams for non-normal (based on neighborhood semantics, topologically inspired generalization semantics). In particular, we investigate phenomenon logic-sensitivity diagrams. We distinguis...

this research was conducted to zoning of gorgan agricultural lands for hulless barley cropping using evaluation of some environmental factors base on boolean logic and by geographic information system. for this purpose, agro-ecological requirements of hulless barley firstly, identified according to scientific resources. rating and thematic requirement maps were then provided. studied environmen...

In conventional computers, wiring between transistors is required to enable the execution of Boolean logic functions. This has resulted in processors in which billions of transistors are physically interconnected, which limits integration densities, gives rise to huge power consumption and restricts processing speeds. A method to eliminate wiring amongst transistors by condensing Boolean logic ...

We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear reduction of such knowledge bases into a standard format (allowing only conjunctive assertions) is described which preserves knowledge base satisfiability. Similar results are presented for Boolean TBoxes and Boolean combi...

A novel approach for timing-driven logic decomposition is presented. It is based on the combination of two strategies: logic bi-decomposition of Boolean functions and treeheight reduction of Boolean expressions. This technologyindependent approach allows to find tree-like expressions with smaller depths than the ones obtained by state-of-theart techniques. Experimental results show an average d...

Artificial Color is simply biomimetic spectral sensing and processing to achieve spectral discrimination. Using Artificial Color means to construct image plane filters; we can then perform logic operations on those filters before applying them to scenes. Boolean and fuzzy logic can both be used. We illustrate the concept by the Boolean AND of two such masks applied to a complex scene. 2003 Else...