Proofs with star and perp

DOI10.1007/978-3-031-69940-5_14MaRDI QIDQ6943383zbMATH OpenFDO

Authors Greg Restall

Publication date 13 August 2025

Full work available at URL https://doi.org/10.1007/978-3-031-69940-5_14

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Defining double negation elimination
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 517083 (Why is no real title available?)
• Logical pluralism
• Multiple conclusions
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation on the Australian plan
• Proof and falsity. A logical investigation
• Rejection
• Rejection and valuations
• Semantic analysis of orthologic
• Semantic pollution and syntactic purity
• Semantics for relevant logics
• Structural Rules in Natural Deduction with Alternatives
• The dialogical roots of deduction. Historical, cognitive, and philosophical perspectives on reasoning
• The Logic of Entailment and its History
• The Semantics of First Degree Entailment
• Truth values and proof theory
• What is a relevant connective?

This page was built for publication: Proofs with star and perp

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