Basic quasi-Boolean expansions of relevance logics (Q2236601): 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/s10992-020-09583-4
+Normal rank
@@ Property / OpenAlex ID @@
+W3159788197
@@ Property / OpenAlex ID: W3159788197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical semantics for relevant logics
@@ Property / cites work: Hierarchical semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
+Normal rank
@@ Property / cites work @@
+A relational representation of quasi-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+What is strict implication?
@@ Property / cites work: What is strict implication? / rank @@
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. I
@@ Property / cites work: Classical relevant logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. II
@@ Property / cites work: Classical relevant logics. II / rank @@
+Normal rank
@@ Property / cites work @@
+Where gamma fails
@@ Property / cites work: Where gamma fails / 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 @@
+Q4982330
@@ Property / cites work: Q4982330 / rank @@
+Normal rank
@@ Property / cites work @@
+The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
+Normal rank
@@ Property / cites work @@
+Q5274887
@@ Property / cites work: Q5274887 / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
+Normal rank