A non-deterministic view on non-classical negations

DOI10.1007/s11225-005-8468-5zbMath1086.03023OpenAlexW1998439738MaRDI QIDQ813081

Arnon Avron

Publication date: 30 January 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-8468-5

zbMATH Keywords

negationmany-valued logicsnondeterministic semanticsparaconsistent logicsconstructive logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items

Informational semantics, non-deterministic matrices and feasible deduction, ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Semantics and proof-theory of depth bounded Boolean logics, Self-extensional three-valued paraconsistent logics, An informational view of classical logic, Connexive negation, Double negation as minimal negation, Kripke Semantics for Basic Sequent Systems, Efficient reasoning with inconsistent information using C-systems, Strict Canonical Constructive Systems, A hierarchy of weak double negations, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Paraconsistency and the need for infinite semantics, What is a non-truth-functional logic?, On Axioms and Rexpansions

Uses Software

• COSTA

Cites Work

• Linear logic
• Limits for paraconsistent calculi
• On an implication connective of RM
• On interpretation of inconsistent theories
• The value of the four values
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Propositional sequence-calculi for inconsistent systems
• Constructible falsity and inexact predicates
• Natural 3-valued logics—characterization and proof theory
• Bilattices and the semantics of logic programming
• Kleene's Logic, Generalized
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item