A closer look at some subintuitionistic logics (Q1422101): 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.1305/ndjfl/1063372244
+Normal rank
@@ Property / OpenAlex ID @@
+W2061319273
@@ Property / OpenAlex ID: W2061319273 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Propositional Calculus I
@@ Property / cites work: Basic Propositional Calculus I / rank @@
+Normal rank
@@ Property / cites work @@
+Basic propositional calculus. II: Interpolation
@@ Property / cites work: Basic propositional calculus. II: Interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Logics with Strict Implication
@@ Property / cites work: Weak Logics with Strict Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833771
@@ Property / cites work: Q4833771 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics Which Are Characterized by Subresiduated Lattices
+Normal rank
@@ Property / cites work @@
+What is strict implication?
@@ Property / cites work: What is strict implication? / 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 @@
+Subintuitionistic logics
@@ Property / cites work: Subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987175
@@ Property / cites work: Q3987175 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic logic, K4, and persistence
@@ Property / cites work: Basic logic, K4, and persistence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487297
@@ Property / cites work: Q4487297 / rank @@
+Normal rank
@@ Property / cites work @@
+Speaking about transitive frames in propositional languages
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385350
@@ Property / cites work: Q4385350 / rank @@
+Normal rank