Negation on the Australian plan

DOI10.1007/S10992-019-09510-2MaRDI QIDQ2295602zbMATH OpenOpenAlexWikidataFDO

Authors Francesco Berto, Greg Restall

Publication date 14 February 2020

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-019-09510-2

zbMATH Keywords

many-valued logicsmodal logicsnegationnon-classical logicsKripke semanticscompatibility semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)

Recommendations

• Another plan for negation
• Negation on the neo-Australian plan
• Two negations are more than one
• Bridging the two plans in the semantics for relevant logic
• Negation in the light of modal logic

Cites work

• scientific article; zbMATH DE number 5997441 (Why is no real title available?)
• scientific article; zbMATH DE number 6538185 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 1749203 (Why is no real title available?)
• scientific article; zbMATH DE number 2150328 (Why is no real title available?)
• scientific article; zbMATH DE number 2150331 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 1406808 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• A star-free semantics for R
• Absolute contradiction, dialetheism, and revenge
• An introduction to non-classical logic. From if to is
• Bilattices and the semantics of logic programming
• Constructive negation, implication, and co-implication
• Defining double negation elimination
• Four-valued semantics for relevant logics (and some of their rivals)
• Generalized ortho negation
• Logic on the Australian plan
• Logical pluralism
• Multiple conclusions
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation in the context of gaggle theory
• Negation, absurdity and contrariety
• Semantic analysis of orthologic
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The Semantics of First Degree Entailment
• The semantics of entailment. II
• There is more to negation than modality
• Truth values and proof theory

Cited in

(22)

• Connexive negation
• An invitation to new essays on Belnap-Dunn logic
• Bridging the two plans in the semantics for relevant logic
• Two negations are more than one
• SUBSTITUTION IN RELEVANT LOGICS
• Truthmaker semantics for relevant logic
• Questions to Michael Dunn
• The problem of future contingents: scoping out a solution
• There is more to negation than modality
• The logic of lexical connectives
• On negation for non-classical set theories
• Shrieking, shrugging, and the Australian plan
• Negative inquisitiveness and alternatives-based negation
• No, No, and No
• Epistemic logics for relevant reasoners
• Another plan for negation
• Deep fried logic
• Non-Boolean classical relevant logics. I
• Subminimal negation on the Australian plan
• Negation on the neo-Australian plan
• What is a relevant connective?
• A hyperintensional logic of non-prime evidence

This page was built for publication: Negation on the Australian plan

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295602)