Applications of Kripke models to Heyting-Brouwer logic (Q1239313): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of trees to intermediate logics
@@ Property / cites work: Applications of trees to intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+An algebraic approach to the Heyting-Brouwer predicate calculus
+Normal rank
@@ Property / cites work @@
+On the strong semantical completeness of the intuitionistic predicate calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1239313