Solution to the P − W problem
From MaRDI portal
Publication:3962966
DOI10.2307/2273106zbMath0498.03011OpenAlexW2139781262MaRDI QIDQ3962966
Robert K. Meyer, Errol P. Martin
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
Related Items (15)
Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends ⋮ Ternary relations and relevant semantics ⋮ 1994 Annual Meeting of the Association for Symbolic Logic ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ Replacement in logic ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Naive structure, contraction and paradox ⋮ The Ackermann constant theorem: A computer-assisted investigation ⋮ A characteristic frame for positive intuitionistic and relevance logic ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ Impossible worlds: A modest approach ⋮ Geometric Models for Relevant Logics
Cites Work
This page was built for publication: Solution to the P − W problem