Definability of Boolean functions in Kripke semantics (Q6187418): Difference between revisions

@@ Property / cites work @@
+Deriving Natural Deduction Rules from Truth Tables
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical connectives for intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Proof of the independence of the primitive symbols of Heyting's calculus of propositions
+Normal rank
@@ Property / cites work @@
+Post's functional completeness theorem
@@ Property / cites work: Post's functional completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Sequents in many valued logic II
@@ Property / cites work: Sequents in many valued logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
+Normal rank