Decidable Kripke models of intuitionistic theories (Q1295382): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3904556
@@ Property / cites work: Q3904556 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Kripke models and intermediate logics
@@ Property / cites work: Computable Kripke models and intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A context for belief revision: forward chaining-normal nonmonotonic rule systems
+Normal rank
@@ Property / cites work @@
+Q4934290
@@ Property / cites work: Q4934290 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+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 @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0168-0072(97)00057-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2093510572
@@ Property / OpenAlex ID: W2093510572 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1295382