Solution to the P − W problem

DOI10.2307/2273106MaRDI QIDQ3962966zbMATH OpenOpenAlexFDO

Authors Errol P. Martin, Robert K. Meyer

Publication date 1982

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

Full work available at URL https://doi.org/10.2307/2273106

zbMATH Keywords

operational semanticsrelevanceticket entailment without contraction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(18)

• The Ackermann constant theorem: A computer-assisted investigation
• Impossible worlds: A modest approach
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
• Naive structure, contraction and paradox
• Replacement in logic
• A characteristic frame for positive intuitionistic and relevance logic
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• European Summer Meeting of the Association for Symbolic Logic
• 1994 Annual Meeting of the Association for Symbolic Logic
• Geometric Models for Relevant Logics
• ON EQUATIONAL COMPLETENESS THEOREMS
• Sextus Empiricus' fourth conditional and containment logic
• Ternary relations and relevant semantics
• Knot is not that nasty (but it is hardier than tonk)
• Progressive logic
• Variable-sharing as relevance
• New(ish) foundations for theories of entailment

This page was built for publication: Solution to the P − W problem

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