On negation: Pure local rules
From MaRDI portal
Publication:1775871
DOI10.1016/j.jal.2004.07.017zbMath1063.03013OpenAlexW2130817416WikidataQ61593386 ScholiaQ61593386MaRDI QIDQ1775871
Publication date: 4 May 2005
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.017
Related Items (16)
Negative modalities, consistency and determinedness ⋮ Questions to Michael Dunn ⋮ Implication, Equivalence, and Negation ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Sequent systems for negative modalities ⋮ Four-valued paradefinite logics ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Connexive negation ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ There is more to negation than modality ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Paraconsistency and the need for infinite semantics
Cites Work
- Limits for paraconsistent calculi
- Simple consequence relations
- Theory of logical calculi. Basic theory of consequence operations
- Paraconsistency and the C-systems of da Costa
- What is negation?
- Handbook of philosophical logic. Vol. 9
- A 17th-century debate on the consequentia mirabilis
- What is an inference rule?
- Rules and Derived Rules
- On the definition of negation by a fixed proposition in inferential calculus
- 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: On negation: Pure local rules
