Entailment, mingle and binary accessibility

DOI10.1007/978-3-031-57635-5_6MaRDI QIDQ7032195zbMATH OpenFDO

Authors Katalin Bimbó, J. Michael Dunn

Publication date 5 February 2025

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

zbMATH Keywords

entailmenthereditary conditionmingle axiommodal logicrelational semanticsrelevance logictrivalence

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45)

Cites work

• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• A completeness theorem in modal logic
• A constructive analysis of RM
• A Decision Procedure For the System E_Ī of Entailment with Negation
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A modal restriction of R-mingle with the variable-sharing property
• Algebraic completeness results for R-mingle and its extensions
• Arnon Avron on semantics and proof theory of non-classical logics
• Begründung einer strengen Implikation
• Completeness of implicational relevant logics
• Dual gaggle semantics for entailment
• E and S4
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3552479 (Why is no real title available?)
• scientific article; zbMATH DE number 3561297 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3062910 (Why is no real title available?)
• New consecution calculi for \(R^{t}_{\to}\)
• On the decidability of implicational ticket entailment
• On the ternary relation and conditionality
• Paraconsistent fuzzy logic preserving non-falsity
• Partiality and its dual
• Philosophy of logic
• Proof theory. Sequent calculi and related formalisms
• Relevance Principle for Substructural Logics with Mingle and Strong Negation
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantics for relevant logics
• The development of decidability proofs based on sequent calculi

Cited in

(1)

• Saul Kripke: a portrait of the modal logician as a young man

This page was built for publication: Entailment, mingle and binary accessibility

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