Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-009-9085-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2075250104
@@ Property / OpenAlex ID: W2075250104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Mutual definability does not imply definitional equivalence, a simple example
+Normal rank
@@ Property / cites work @@
+On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+What is strict implication?
@@ Property / cites work: What is strict implication? / rank @@
+Normal rank
@@ Property / cites work @@
+The basic constructive logic for absolute consistency
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic without `contraction' but with `reductio'
+Normal rank
@@ Property / cites work @@
+Q5411405
@@ Property / cites work: Q5411405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715516
@@ Property / cites work: Q2715516 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic constructive logic for negation-consistency
+Normal rank
@@ Property / cites work @@
+Q3435241
@@ Property / cites work: Q3435241 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic constructive logic for a weak sense of consistency
+Normal rank
@@ Property / cites work @@
+The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank