The revival of rejective negation
From MaRDI portal
Publication:1582228
DOI10.1023/A:1004747920321zbMath0962.03005MaRDI QIDQ1582228
Publication date: 3 October 2000
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
rules; negation; consequence relations; rejection; assertion; denial; connectives; signed formulas; rejectivism
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Bilateralism in proof-theoretic semantics, First order expressivist logic, The indefinability of ``one, Denial and disagreement, Normality, non-contamination and logical depth in classical natural deduction, Some comments on Ian Rumfitt's bilateralism, Bilateralism, trilateralism, multilateralism and poly-sequents, BILATERAL RELEVANT LOGIC, A meta-logic of inference rules: Syntax
Uses Software
Cites Work
- 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
- Semantic holism
- On sequence-conclusion natural deduction systems
- Semantical investigations in Heyting's intuitionistic logic
- First degree formulas in Curry's LD
- Natural deduction, separation, and the meaning of logical operators
- Valuational semantics of rule derivability
- Should knowledge entail belief?
- Untersuchungen über das logische Schliessen. I
- On the calculus MCC
- TWO-DIMENSIONAL PROBLEMS OF THE DECAY OF MAGNETIC FIELDS IN MAGNETOHYDRODYNAMICS
- Prior and Belnap
- Natural deduction and sequent calculus for intuitionistic relevant logic
- Rules and Derived Rules
- Syntax and semantics of questions
- What is a Classical Connective?
- The categoricity problem and truth-value gaps
- Rejection