\(\mathcal {BCDL}\): Basic constructive description logic (Q972431): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-009-9160-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2014495597
@@ Property / OpenAlex ID: W2014495597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Actions Over a Constructive Semantics for Description Logics
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Snapshot Generation in a Constructive Object-Oriented Modeling Language
+Normal rank
@@ Property / cites work @@
+Q4808818
@@ Property / cites work: Q4808818 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
+Normal rank
@@ Property / cites work @@
+Q3789102
@@ Property / cites work: Q3789102 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract parametric classes and abstract data types defined by classical and constructive logical methods
+Normal rank
@@ Property / cites work @@
+A constructivism based on classical truth
@@ Property / cites work: A constructivism based on classical truth / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+From constructivism to computer science
@@ Property / cites work: From constructivism to computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:972431