A geometric interpretation of logical formulae (Q2652283): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Les opérations logiques et les ensembles projectifs
+Normal rank
@@ Property / cites work @@
+Proofs of non-deducibility in intuitionistic functional calculus
+Normal rank
@@ Property / cites work @@
+Algebraic treatment of the notion of satisfiability
+Normal rank
@@ Property / cites work @@
+A proof of the completeness theorem of Grödel
@@ Property / cites work: A proof of the completeness theorem of Grödel / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02272287
+Normal rank
@@ Property / OpenAlex ID @@
+W2030382159
@@ Property / OpenAlex ID: W2030382159 / rank @@
+Normal rank