Pages that link to "Item:Q1854478"
From MaRDI portal
The following pages link to Clausal logic and logic programming in algebraic domains (Q1854478):
Displaying 14 items.
- Fuzzy logic programming via multilattices (Q876496) (← links)
- On the order-theoretic properties of lower concept formula systems (Q891194) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- Transformations of discrete closure systems (Q2250810) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
- (Q2843619) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
