The following pages link to (Q4384471):
Displaying 10 items.
- An algebraic approach to rule based expert systems (Q981968) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- From Boolean algebra to unified algebra (Q1889959) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Default Rules in the Logic of First-Degree Entailments (Q3305612) (← links)
- Domain and Range Operations in Semigroups and Rings (Q3448274) (← links)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics (Q4583313) (← links)
- Universality of Logic (Q4608552) (← links)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences (Q5291830) (← links)
- A psychological theory of reasoning as logical evidence: a Piagetian perspective (Q6187755) (← links)
