Pages that link to "Item:Q4704650"
From MaRDI portal
The following pages link to Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650):
Displaying 5 items.
- A complete and consistent formal system for sortals (Q1591344) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- The Tableau Method for a Logical System Based on a Finite Poset (Q3647309) (← links)
- ON SUPERINTUITIONISTIC PROPOSITIONAL LOGICS CONNECTED WITH PARTIALLY ORDERED SETS (Q3980114) (← links)
- Kripke-type semantics of a logical system based on a finite ordered set (Q4511554) (← links)