The following pages link to (Q5387443):
Displayed 19 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- On some properties of PBZ\(^*\)-lattices (Q682648) (← links)
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)
- Ambiguous representations of semilattices, imperfect information, and predicate transformers (Q781536) (← links)
- Relational quantum mechanics and probability (Q1735906) (← links)
- An extended propositional logic for incomplete knowledge (Q1762230) (← links)
- Selected group-theoretic aspects of confirmation measure symmetries (Q1991891) (← links)
- Architecture-guided test resource allocation via logic (Q2117254) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Wave-particle duality and the objectiveness of ``true'' and ``false'' (Q2241464) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- Compound Objects Comparators in Application to Similarity Detection and Object Recognition (Q5056085) (← links)
- Belief change and 3-valued logics: Characterization of 19,683 belief change operators (Q5130019) (← links)
- Certified Reasoning with Infinity (Q5206958) (← links)
- Analyzing natural languages: antimems, contradictions, and onthologies (Q6042245) (← links)
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models (Q6116192) (← links)
- Many-valued logic and sequence arguments in value theory (Q6187768) (← links)