New(ish) foundations for theories of entailment

DOI10.1007/978-3-031-57635-5_15MaRDI QIDQ7032186zbMATH OpenFDO

Authors Yale Weiss

Publication date 5 February 2025

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

zbMATH Keywords

admissibilityentailmentmodal logicoperational semanticsrelevant modal logic

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

• A completeness theorem in modal logic
• A Constructive Proof of a Theorem in Relevance Logic
• A lambda proof of the P-W theorem
• A Note on the Relevance of Semilattice Relevance Logic
• Analytic implication
• Begründung einer strengen Implikation
• Classically complete modal relevant logics
• Deep fried logic
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 753856 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3296227 (Why is no real title available?)
• Mathematical modal logic: A view of its evolution
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Models for entailment
• Models for relevant modal logics
• New foundations for Lewis modal systems
• Operational semantics for positive R
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantics for relevant logics
• Solution to the P − W problem
• Symbolic logic.
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
• The first axiomatization of relevant logic
• The pure calculus of entailment
• The semantics of \(R4\)
• The semantics of entailment. II
• The Story of \gamma γ
• Über die Theorie der Verträglichkeit von Aussagen.

This page was built for publication: New(ish) foundations for theories of entailment

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