SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION

DOI10.1017/S1755020320000374MaRDI QIDQ5099778zbMATH OpenOpenAlexFDO

Authors Yale Weiss

Publication date 26 August 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020320000374

zbMATH Keywords

connexive logiccontra-classical logicsemilattice semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1414360
• An infinity of intuitionistic connexive logics
• A contractionless semilattice semantics
• A poly-connexive logic
• Connexive conditional logic. I

Cites work

• A Note on Negation in Categorial Grammar
• A Note on the Relevance of Semilattice Relevance Logic
• An introduction to non-classical logic. From if to is
• Completeness of weak implication
• Connexive implication
• Connexive modal logic
• Connexive modal logic based on positive S4
• Constructible falsity and inexact predicates
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3587012 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Relevant connexive logic
• Semantics for relevant logics
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics

Cited in

(17)

• Relating semantics for connexive logic
• Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics
• On connegation
• On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
• Angell and McCall meet Wansing
• An infinity of intuitionistic connexive logics
• A Variant of Material Connexive Logic
• Connexivity meets Church and Ackermann
• Connexive arithmetic formulated relevantly
• Connexive logic: new old challenges
• Relevant semantics for connexive logics
• A note on the historiography of pre-modern connexive logic
• A note on contradictions in Francez-Weiss logics
• Proof theory of abelian connexive logics
• Hyperconnexivity, compositionality and non-deterministic semantics
• A model of connexive set theory

This page was built for publication: SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION

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