On Algebraisation of Superintuitionistic Predicate Logics (Q5214741): 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/978-3-319-69917-2_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2791258020
@@ Property / OpenAlex ID: W2791258020 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical matrices and the amalgamation property
@@ Property / cites work: Logical matrices and the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870568
@@ Property / cites work: Q4870568 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
+Normal rank
@@ Property / cites work @@
+On variable separation in modal and superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Q4249225
@@ Property / cites work: Q4249225 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
+Normal rank
@@ Property / cites work @@
+Algebraization of quantifier logics, an introductory overview
+Normal rank
@@ Property / cites work @@
+A study of intermediate predicate logics
@@ Property / cites work: A study of intermediate predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656762
@@ Property / cites work: Q5656762 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic logic with generalized quantifiers
@@ Property / cites work: Algebraic logic with generalized quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Grundzüge der Systemenkalküls I
@@ Property / cites work: Grundzüge der Systemenkalküls I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268319
@@ Property / cites work: Q4268319 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5214741