Pages that link to "Item:Q1117222"
From MaRDI portal
The following pages link to A constructivism based on classical truth (Q1117222):
Displaying 8 items.
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory (Q3299869) (← links)
- Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
