The following pages link to (Q4895873):
Displaying 17 items.
- The FE-closure operator in countable-valued logic (Q384749) (← links)
- The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
- The presence of lattice theory in discrete problems of mathematical social sciences. Why. (Q1414820) (← links)
- The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey (Q1874537) (← links)
- The expressive truth conditions of two-valued logic (Q1882401) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Moore systems and Moore convergence classes of families of nets (Q2350690) (← links)
- Non-deterministic ideal operators: an adequate tool for formalization in data bases (Q2478434) (← links)
- Surmise relations between tests -- preliminary results of the mathematical modeling (Q2741273) (← links)
- (Q5411494) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)
- Distributivity of a segmentation lattice (Q6064863) (← links)
- What is a logical theory? On theories containing assertions and denials (Q6067100) (← links)
- A note on closure spaces determined by intersections (Q6154690) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
- The stone representations for generalized continuous posets (Q6181356) (← links)
