On negation: Pure local rules
From MaRDI portal
Publication:1775871
Recommendations
- A theory of local negation: The model and some applications
- The basic constructive logic for negation-consistency
- Negation as cancellation, and connexive logic
- On negation as instantiation
- Local quantifier elimination
- Local possibilistic logic
- On negation in Hilog
- Disjunctive normal forms and local exceptions
- A hierarchy of weak double negations
- scientific article; zbMATH DE number 859801
Cites work
- A 17th-century debate on the consequentia mirabilis
- Handbook of philosophical logic. Vol. 9
- scientific article; zbMATH DE number 5997433 (Why is no real title available?)
- scientific article; zbMATH DE number 3150807 (Why is no real title available?)
- scientific article; zbMATH DE number 49746 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 1241671 (Why is no real title available?)
- scientific article; zbMATH DE number 1269579 (Why is no real title available?)
- scientific article; zbMATH DE number 1735919 (Why is no real title available?)
- scientific article; zbMATH DE number 1735921 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 2019873 (Why is no real title available?)
- scientific article; zbMATH DE number 2064306 (Why is no real title available?)
- scientific article; zbMATH DE number 1765698 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 958609 (Why is no real title available?)
- Legislative theory of pure negation
- Limits for paraconsistent calculi
- Negation and contradiction
- Negation: Two points of view
- On the definition of negation by a fixed proposition in inferential calculus
- Paraconsistency and the C-systems of da Costa
- Rules and Derived Rules
- Simple consequence relations
- Theory of logical calculi. Basic theory of consequence operations
- What is an inference rule?
- What is negation?
Cited in
(27)- Sequent systems for negative modalities
- Four-valued paradefinite logics
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- There is more to negation than modality
- Paraconsistency and the need for infinite semantics
- Are the open-ended rules for negation categorical?
- Negation: Two points of view
- Negation, absurdity and contrariety
- Legislative theory of pure negation
- Negative modalities, consistency and determinedness
- On a generalization of the principle \textit{reductio ad absurdum}
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- Relating Intuitionist Negation and Triviality
- Questions to Michael Dunn
- Implication, Equivalence, and Negation
- From paraconsistent logic to dialetheic logic
- On the methodology of paraconsistent logic
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- scientific article; zbMATH DE number 2246057 (Why is no real title available?)
- Connexive logic, connexivity, and connexivism: remarks on terminology
- Connexive negation
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Connexivity meets Church and Ackermann
- Connexive implications in substructural logics
- Bi-connexive logic, bilateralism, and negation inconsistency
- One heresy and one orthodoxy: on dialetheism, dimathematism, and the non-normativity of logic
This page was built for publication: On negation: Pure local rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1775871)
