Variable sharing in connexive logic

DOI10.1007/S10992-021-09602-YMaRDI QIDQ2056220zbMATH OpenOpenAlexFDO

Authors Luis Estrada González, Claudia Lucía Tanús-Pimentel

Publication date 2 December 2021

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

Full work available at URL https://doi.org/10.1007/s10992-021-09602-y

zbMATH Keywords

contentNelson's connexive logicvariable occurrencevariable-sharing principle

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Relevant connexive logic
• Connexive logics. An overview and current trends
• What is a relevant connective?
• An analysis of poly-connexivity
• A poly-connexive logic

Cites work

• A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’
• Aristotle's thesis in consistent and inconsistent logics
• Begründung einer strengen Implikation
• Connexive implication
• Connexive modal logic
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Logic: a history of its central concepts
• Negation as cancellation, connexive logic, and qLPm
• On systems containing Aristotle's thesis
• Relevant connexive logic
• Semantics for connexive logics. I
• The compatibility of relevance and mingle
• The problem of existential import in first-order consequential logics
• Whither relevance logic?

Cited in

(10)

• Variables as resource in separation logic
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• Boolean negation and non-conservativity II: The variable-sharing property
• Boolean connexive logic and content relationship
• Some remarks on the logic of probabilistic relevance
• Connexivity meets Church and Ackermann
• Connexive logic: new old challenges
• Relevant semantics for connexive logics
• Proof theory of abelian connexive logics
• A model of connexive set theory

This page was built for publication: Variable sharing in connexive logic

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