Constructive negation, implication, and co-implication (Q3643320): 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.3166/jancl.18.341-364
+Normal rank
@@ Property / OpenAlex ID @@
+W2075055711
@@ Property / OpenAlex ID: W2075055711 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-intuitionism and paraconsistency
@@ Property / cites work: Anti-intuitionism and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Subtractive logic
@@ Property / cites work: Subtractive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+A note on dual-intuitionistic logic
@@ Property / cites work: A note on dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics and Petri net interpretation for resource-sensitive strong negation
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Applications of Kripke models to Heyting-Brouwer logic
+Normal rank
@@ Property / cites work @@
+Semantical analyses of propositional systems of Fitch and Nelson
+Normal rank
@@ Property / cites work @@
+Some useful 16-valued logics: How a computer network should think
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Nelson's negation on the base of weaker versions of intuitionistic negation
+Normal rank
@@ Property / cites work @@
+Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Negation in Categorial Grammar
@@ Property / cites work: A Note on Negation in Categorial Grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Suszko's thesis, inferential many-valuedness, and the notion of a logical system
+Normal rank
@@ Property / cites work @@
+On logics with coimplication
@@ Property / cites work: On logics with coimplication / rank @@
+Normal rank