scientific article; zbMATH DE number 3887654

MaRDI QIDQ3222165zbMATH OpenFDO

Authors Alasdair Urquhart

Publication date 1983

zbMATH Keywords

KRprojective geometryrelevant implicationticket entailment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35) General theory of linear incidence geometry and projective geometries (51A05)

Recommendations

• The undecidability of entailment and relevant implication
• scientific article; zbMATH DE number 1941930
• Relevant implication and ordered geometry
• The complexity of decision procedures in relevance logic II
• \(TW_+\) and \(RW_+\) are decidable

Cited in

(11)

• A note on the decidability of a strong relevant logic
• Varieties of De Morgan monoids: minimality and irreducible algebras
• A plea for KR
• scientific article; zbMATH DE number 1941930 (Why is no real title available?)
• A Logical Autobiography
• Geometric Models for Relevant Logics
• Modal Logics of Some Hereditarily Irresolvable Spaces
• Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
• Relevant implication and ordered geometry
• Failure of Beth's theorem in relevance logics
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

This page was built for publication:

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