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

DOI10.1007/S11225-006-9004-YzbMATH Open1114.03027OpenAlexW2077585551MaRDI QIDQ865046FDOQ865046

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1343457
• scientific article; zbMATH DE number 975282
• scientific article; zbMATH DE number 975287
• scientific article; zbMATH DE number 975286
• Publication:4722031

zbMATH Keywords

Kripke semanticsNelson algebrastwist constructionminimal negationNelson negationdual intuitionistic negationintuitionistic negationregular negationseminegation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Constructive negation, implication, and co-implication
• Title not available (Why is that?)
• Subminimal negation
• Double negation operator in logic \(N^*\)
• Helena Rasiowa (1917-1994) Life and Personality
• Composition of an intuitionistic negation and negative modalities as a necessity operator
• Nelson algebras, residuated lattices and rough sets: A survey
• Algebraic representation, dualities and beyond
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865046)