Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

DOI10.1007/s11225-006-9004-yzbMath1114.03027OpenAlexW2077585551MaRDI QIDQ865046

Dimiter Vakarelov

Publication date: 13 February 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-9004-y

zbMATH Keywords

Kripke semanticsdual intuitionistic negationNelson algebrastwist constructionminimal negationNelson negationintuitionistic negationregular negationseminegation

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Other nonclassical logic (03B60) History of mathematical logic and foundations (03-03)

Related Items (7)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Helena Rasiowa (1917-1994) Life and Personality ⋮ Subminimal negation ⋮ Composition of an intuitionistic negation and negative modalities as a necessity operator ⋮ Algebraic Representation, Dualities and Beyond ⋮ Double Negation Operator in Logic N ∗ ⋮ Constructive negation, implication, and co-implication

Cites Work

• Subformula semantics for strong negation systems
• Nelson algebras through Heyting ones. I
• A non-deterministic view on non-classical negations
• Negation in the context of gaggle theory
• Gentzen-type methods for bilattice negation
• The class of extensions of Nelson's paraconsistent logic
• A first order nonmonotonic extension of constructive logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Logical connectives for constructive modal logic
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Some investigations of varieties of \({\mathcal N}\)-lattices
• The Craig interpolation theorem for propositional logics with strong negation
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Constructive predicate logic with strong negation and model theory
• An algebraic approach to non-classical logics
• Semantical analyses of propositional systems of Fitch and Nelson
• Applications of Kripke models to Heyting-Brouwer logic
• Intuitionistic logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• The value of the four values
• Vivid logic. Knowledge-based reasoning with two kinds of negation
• Informational interpretation of substructural propositional logics
• On extensions of intermediate logics by strong negation
• Quantized linear logic, involutive quantales and strong negation
• Combining classical logic, paraconsistency and relevance
• On the representation of \(\mathbf{N4}\)-lattices
• Partiality and its dual
• A formalization of the propositional calculus of H-B logic
• Semantics-based nonmonotonic inference
• Axiomatic extensions of the constructive logic with strong negation and the disjunction property
• Reasoning with logical bilattices
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• N-lattices and constructive logic with strong negation
• On constructible falsity in the constructive logic with strong negation
• Interpolation and Definability in Extensions of the Minimal Logic
• “Reductio ad absurdum” and Łukasiewicz’s modalities
• Constructible falsity and inexact predicates
• On the Proof Method for Constructive Falsity
• Natural 3-valued logics—characterization and proof theory
• Bilattices and the semantics of logic programming
• Logic Programming with Strong Negation and Inexact Predicates
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• Decidability of Some Extensions of J
• An algebraic approach to the Heyting-Brouwer predicate calculus
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• A note on dual-intuitionistic logic
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• The Trilattice of Constructive Truth Values
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• Logic of classical refutability and class of extensions of minimal logic
• Displaying the modal logic of consistency
• Automated Reasoning with Analytic Tableaux and Related Methods
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic Programming and Nonmonotonic Reasoning
• Caracterisation des algèbres de Nelson par des egalités, I
• A semantical study of constructible falsity
• The Notion of Validity in Logical Systems with Inexact Predicates
• Multi-valued Calculi for Logics Based on Non-determinism
• Constructible falsity
• On the definition of negation by a fixed proposition in inferential calculus
• The system LD
• Algebraic treatment of the notion of satisfiability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation