Sequent calculi for semi-De Morgan and De Morgan algebras (Q1653653): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-017-9755-7
@@ Property / DOI: 10.1007/s11225-017-9755-7 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2556487522
@@ Property / OpenAlex ID: W2556487522 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05231
@@ Property / arXiv ID: 1611.05231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715514
@@ Property / cites work: Q2715514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of distributive bilattices
@@ Property / cites work: The logic of distributive bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+A relational representation of quasi-Boolean algebras
+Normal rank
@@ Property / cites work @@
+On a subvariety of semi-De Morgan algebras
@@ Property / cites work: On a subvariety of semi-De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754493
@@ Property / cites work: Q4754493 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-De Morgan algebras
@@ Property / cites work: Semi-De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Craig interpolation for LJ with strong negation
+Normal rank
@@ Property / cites work @@
+The Beth property and interpolation in lattice-based algebras and logics
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining double negation elimination
@@ Property / cites work: Defining double negation elimination / 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 @@
+Semi-de Morgan algebras
@@ Property / cites work: Semi-de Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures in the vicinity of pre-rough algebra and their logics
+Normal rank
@@ Property / DOI @@
+.1007/S11225-017-9755-7
@@ Property / DOI: 10.1007/S11225-017-9755-7 / rank @@
+Normal rank