Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-006-9004-y
@@ Property / DOI: 10.1007/s11225-006-9004-y / rank @@
-Normal rank
@@ 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/s11225-006-9004-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2077585551
@@ Property / OpenAlex ID: W2077585551 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Proof Method for Constructive Falsity
@@ Property / cites work: On the Proof Method for Constructive Falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive predicate logic with strong negation and model theory
+Normal rank
@@ Property / cites work @@
+Subformula semantics for strong negation systems
@@ Property / cites work: Subformula semantics for strong negation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385349
@@ Property / cites work: Q4385349 / 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 @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q2715514
@@ Property / cites work: Q2715514 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Combining classical logic, paraconsistency and relevance
+Normal rank
@@ Property / cites work @@
+Q5311061
@@ Property / cites work: Q5311061 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+Multi-valued Calculi for Logics Based on Non-determinism
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+On constructible falsity in the constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+The class of Kleene algebras satisfying an interpolation property and Nelson algebras
+Normal rank
@@ Property / cites work @@
+Q3674731
@@ Property / cites work: Q3674731 / rank @@
+Normal rank
@@ Property / cites work @@
+The Notion of Validity in Logical Systems with Inexact Predicates
+Normal rank
@@ Property / cites work @@
+The Notion of Logical Consequence in the Logic of Inexact Predicates
+Normal rank
@@ Property / cites work @@
+Q5802120
@@ Property / cites work: Q5802120 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of negation by a fixed proposition in inferential calculus
+Normal rank
@@ Property / cites work @@
+The system LD
@@ Property / cites work: The system LD / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218105
@@ Property / cites work: Q3218105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795646
@@ Property / cites work: Q3795646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715517
@@ Property / cites work: Q2715517 / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751047
@@ Property / cites work: Q2751047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715515
@@ Property / cites work: Q2715515 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in the context of gaggle theory
@@ Property / cites work: Negation in the context of gaggle theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225121
@@ Property / cites work: Q4225121 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Some Extensions of <i>J</i>
@@ Property / cites work: Decidability of Some Extensions of <i>J</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710513
@@ Property / cites work: Q3710513 / rank @@
+Normal rank
@@ Property / cites work @@
+The Craig interpolation theorem for propositional logics with strong negation
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / 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 @@
+Kripke Completeness of First-Order Constructive Logics with Strong Negation
+Normal rank
@@ Property / cites work @@
+Q4244294
@@ Property / cites work: Q4244294 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
+Normal rank
@@ Property / cites work @@
+Q4807689
@@ Property / cites work: Q4807689 / 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 @@
+Quantized linear logic, involutive quantales and strong negation
+Normal rank
@@ Property / cites work @@
+Q4678356
@@ Property / cites work: Q4678356 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-type methods for bilattice negation
@@ Property / cites work: Gentzen-type methods for bilattice negation / rank @@
+Normal rank
@@ Property / cites work @@
+TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
+Normal rank
@@ Property / cites work @@
+On extensions of intermediate logics by strong negation
+Normal rank
@@ Property / cites work @@
+Q5677463
@@ Property / cites work: Q5677463 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+Q5736159
@@ Property / cites work: Q5736159 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256323
@@ Property / cites work: Q3256323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770968
@@ Property / cites work: Q2770968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4549876
@@ Property / cites work: Q4549876 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of classical refutability and class of extensions of minimal logic
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+“Reductio ad absurdum” and Łukasiewicz’s modalities
+Normal rank
@@ Property / cites work @@
+On the representation of \(\mathbf{N4}\)-lattices
@@ Property / cites work: On the representation of \(\mathbf{N4}\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The class of extensions of Nelson's paraconsistent logic
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367330
@@ Property / cites work: Q3367330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4892376
@@ Property / cites work: Q4892376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715522
@@ Property / cites work: Q2715522 / rank @@
+Normal rank
@@ Property / cites work @@
+A first order nonmonotonic extension of constructive logic
+Normal rank
@@ Property / cites work @@
+Q4713273
@@ Property / cites work: Q4713273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328522
@@ Property / cites work: Q3328522 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+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 @@
+Algebraic treatment of the notion of satisfiability
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633993
@@ Property / cites work: Q5633993 / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+Q4110980
@@ Property / cites work: Q4110980 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to the Heyting-Brouwer predicate calculus
+Normal rank
@@ Property / cites work @@
+Applications of Kripke models to Heyting-Brouwer logic
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analyses of propositional systems of Fitch and Nelson
+Normal rank
@@ Property / cites work @@
+Q5184954
@@ Property / cites work: Q5184954 / rank @@
+Normal rank
@@ Property / cites work @@
+Some investigations of varieties of \({\mathcal N}\)-lattices
+Normal rank
@@ Property / cites work @@
+Nelson algebras through Heyting ones. I
@@ Property / cites work: Nelson algebras through Heyting ones. I / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic extensions of the constructive logic with strong negation and the disjunction property
+Normal rank
@@ Property / cites work @@
+Q4532132
@@ Property / cites work: Q4532132 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual intuitionistic logic and a variety of negations: the logic of scientific research
+Normal rank
@@ Property / cites work @@
+The Trilattice of Constructive Truth Values
@@ Property / cites work: The Trilattice of Constructive Truth Values / rank @@
+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 @@
+Q5666524
@@ Property / cites work: Q5666524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4056000
@@ Property / cites work: Q4056000 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
+Normal rank
@@ Property / cites work @@
+Nelson's negation on the base of weaker versions of intuitionistic negation
+Normal rank
@@ Property / cites work @@
+Logic Programming with Strong Negation and Inexact Predicates
+Normal rank
@@ Property / cites work @@
+Vivid logic. Knowledge-based reasoning with two kinds of negation
+Normal rank
@@ Property / cites work @@
+Informational interpretation of substructural propositional logics
+Normal rank
@@ Property / cites work @@
+Semantics-based nonmonotonic inference
@@ Property / cites work: Semantics-based nonmonotonic inference / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying the modal logic of consistency
@@ Property / cites work: Displaying the modal logic of consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715525
@@ Property / cites work: Q2715525 / rank @@
+Normal rank
@@ Property / cites work @@
+The idea of a proof-theoretic semantics and the meaning of the logical operations
+Normal rank
@@ Property / cites work @@
+Logical connectives for constructive modal logic
@@ Property / cites work: Logical connectives for constructive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486077
@@ Property / cites work: Q5486077 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-006-9004-Y
@@ Property / DOI: 10.1007/S11225-006-9004-Y / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:865046