Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
From MaRDI portal
(Redirected from Publication:865046)
Cites work
- scientific article; zbMATH DE number 1612555 (Why is no real title available?)
- scientific article; zbMATH DE number 4016857 (Why is no real title available?)
- scientific article; zbMATH DE number 3884136 (Why is no real title available?)
- scientific article; zbMATH DE number 3134289 (Why is no real title available?)
- scientific article; zbMATH DE number 3139759 (Why is no real title available?)
- scientific article; zbMATH DE number 3859093 (Why is no real title available?)
- scientific article; zbMATH DE number 5000988 (Why is no real title available?)
- scientific article; zbMATH DE number 3827953 (Why is no real title available?)
- scientific article; zbMATH DE number 3937157 (Why is no real title available?)
- scientific article; zbMATH DE number 4061191 (Why is no real title available?)
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3689368 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 3470407 (Why is no real title available?)
- scientific article; zbMATH DE number 3534466 (Why is no real title available?)
- scientific article; zbMATH DE number 1241671 (Why is no real title available?)
- scientific article; zbMATH DE number 1292286 (Why is no real title available?)
- scientific article; zbMATH DE number 549966 (Why is no real title available?)
- scientific article; zbMATH DE number 1140579 (Why is no real title available?)
- scientific article; zbMATH DE number 2070200 (Why is no real title available?)
- scientific article; zbMATH DE number 1749146 (Why is no real title available?)
- scientific article; zbMATH DE number 1790851 (Why is no real title available?)
- scientific article; zbMATH DE number 2170854 (Why is no real title available?)
- scientific article; zbMATH DE number 9973 (Why is no real title available?)
- scientific article; zbMATH DE number 1916520 (Why is no real title available?)
- scientific article; zbMATH DE number 927107 (Why is no real title available?)
- scientific article; zbMATH DE number 3893260 (Why is no real title available?)
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- scientific article; zbMATH DE number 5051667 (Why is no real title available?)
- scientific article; zbMATH DE number 3360166 (Why is no real title available?)
- scientific article; zbMATH DE number 3399199 (Why is no real title available?)
- scientific article; zbMATH DE number 3412605 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- scientific article; zbMATH DE number 3199780 (Why is no real title available?)
- scientific article; zbMATH DE number 3062910 (Why is no real title available?)
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- A first order nonmonotonic extension of constructive logic
- A formalization of the propositional calculus of H-B logic
- A non-deterministic view on non-classical negations
- A note on dual-intuitionistic logic
- A semantical study of constructible falsity
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraic treatment of the notion of satisfiability
- An algebraic approach to non-classical logics
- An algebraic approach to the Heyting-Brouwer predicate calculus
- Applications of Kripke models to Heyting-Brouwer logic
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property
- Bilattices and the semantics of logic programming
- Caracterisation des algèbres de Nelson par des egalités, I
- Combining classical logic, paraconsistency and relevance
- Connexive modal logic
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive predicate logic with strong negation and model theory
- Decidability of Some Extensions of J
- Displaying the modal logic of consistency
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- From here to there: Stable negation in logic programming
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Generalized ortho negation
- Gentzen-type methods for bilattice negation
- Informational interpretation of substructural propositional logics
- Interpolation and Definability in Extensions of the Minimal Logic
- Intuitionistic logic with strong negation
- Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- Kripke Completeness of First-Order Constructive Logics with Strong Negation
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming with Strong Negation and Inexact Predicates
- Logic of classical refutability and class of extensions of minimal logic
- Logical connectives for constructive modal logic
- Maximal paraconsistent extension of Johansson logic
- Multi-valued Calculi for Logics Based on Non-determinism
- N-lattices and constructive logic with strong negation
- Natural 3-valued logics—characterization and proof theory
- Negation as falsity: A reply to Tennant
- Negation in the context of gaggle theory
- Negation in the light of modal logic
- Negation: Two points of view
- Nelson algebras through Heyting ones. I
- Nelson's negation on the base of weaker versions of intuitionistic negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On constructible falsity in the constructive logic with strong negation
- On extensions of intermediate logics by strong negation
- On the Proof Method for Constructive Falsity
- On the definition of negation by a fixed proposition in inferential calculus
- On the representation of \(\mathbf{N4}\)-lattices
- Partiality and its dual
- Quantized linear logic, involutive quantales and strong negation
- Reasoning with logical bilattices
- Semantical analyses of propositional systems of Fitch and Nelson
- Semantics-based nonmonotonic inference
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
- Some investigations of varieties of \({\mathcal N}\)-lattices
- Subformula semantics for strong negation systems
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
- Tableaux with four signs as a unified framework
- The Craig interpolation theorem for propositional logics with strong negation
- The Notion of Logical Consequence in the Logic of Inexact Predicates
- The Notion of Validity in Logical Systems with Inexact Predicates
- The Trilattice of Constructive Truth Values
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- The class of extensions of Nelson's paraconsistent logic
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- The system LD
- The value of the four values
- Vivid logic. Knowledge-based reasoning with two kinds of negation
- “Reductio ad absurdum” and Łukasiewicz’s modalities
Cited in
(9)- Constructive negation, implication, and co-implication
- scientific article; zbMATH DE number 1255510 (Why is no real title available?)
- 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)
