On negation: Pure local rules
type: Item
instance of: scholarly article
title: On negation: Pure local rules
zbMATH Open document ID: 1063.03013
author: João Marcos
published in: Journal of Applied Logic
publication date: 2005-05-04T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 2165050
zbMATH Keywords: Negation
zbMATH Keywords: Abstract deductive systems
zbMATH Keywords: Multiple-conclusion logic
zbMATH Keywords: Paraconsistency
MaRDI profile type: Publication
full work available at URL: j.jal.2004.07.017
OpenAlex ID: W2130817416
Wikidata QID: Q61593386
cites work: Simple consequence relations
cites work: Negation: Two points of view
cites work: Handbook of philosophical logic. Vol. 9
cites work: Q4539639
cites work: Q4329282
cites work: Legislative theory of pure negation
cites work: Q5687862
cites work: Q4461807
cites work: Q4329284
cites work: Limits for paraconsistent calculi
cites work: Q4440555
cites work: On the definition of negation by a fixed proposition in inferential calculus
cites work: What is an inference rule?
cites work: What is negation?
cites work: Negation and contradiction
cites work: Q4225121
cites work: Q4236379
cites work: Q4440569
cites work: Q3112291
cites work: Q3268303
cites work: A 17th-century debate on the consequentia mirabilis
cites work: Rules and Derived Rules
cites work: Q4777260
cites work: Q4159022
cites work: Paraconsistency and the C-systems of da Costa
cites work: Q3999539
cites work: Theory of logical calculi. Basic theory of consequence operations
DOI: 10.1016/J.JAL.2004.07.017
Recommended article: A theory of local negation: The model and some applications
Recommended article: The basic constructive logic for negation-consistency
Recommended article: Negation as cancellation, and connexive logic
Recommended article: On negation as instantiation
Recommended article: Local quantifier elimination
Recommended article: Local possibilistic logic
Recommended article: On negation in Hilog
Recommended article: Disjunctive normal forms and local exceptions
Recommended article: A hierarchy of weak double negations
Recommended article: Q4870573
description: scientific article; zbMATH DE number 2165050