A constructivism based on classical truth
From MaRDI portal
Publication:1117222
DOI10.1305/ndjfl/1093634996zbMath0667.03044OpenAlexW2018556718MaRDI QIDQ1117222
Pierangelo Miglioli, Mario Ornaghi, Gabriele Usberti, Ugo Moscato
Publication date: 1989
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093634996
Related Items (8)
Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory ⋮ Rough Sets - Past, Present and Future: Some Notes ⋮ Optimization techniques for propositional intuitionistic logic and their implementation ⋮ \(\mathcal {BCDL}\): Basic constructive description logic ⋮ On maximal intermediate predicate constructive logics ⋮ Snapshot Generation in a Constructive Object-Oriented Modeling Language ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
This page was built for publication: A constructivism based on classical truth
