Decision procedure of some relevant logics: a constructive perspective

DOI10.3166/JANCL.15.9-23MaRDI QIDQ3647218zbMATH OpenOpenAlexFDO

Authors Jacques Riche

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.15.9-23

zbMATH Keywords

constructivitydecision procedureDickson's lemmaHilbert basisideal membership problemKripke's lemmaMeyer's lemmapolynomial ringsword problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability (number-theoretic aspects) (11U05)

Recommendations

• scientific article; zbMATH DE number 1342215
• scientific article; zbMATH DE number 1984514
• The complexity of decision procedures in relevance logic II
• \(TW_+\) and \(RW_+\) are decidable
• Constructive decision via redundancy-free proof-search

Cites work

• Constructive topology and combinatorics
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 3216273 (Why is no real title available?)
• scientific article; zbMATH DE number 3284302 (Why is no real title available?)
• Proving open properties by induction
• Rational sets in commutative monoids
• The complexity of the word problems for commutative semigroups and polynomial ideals
• The decision problem for some classes of sentences without quantifiers
• The solution of a decision problem for several classes of rings
• The undecidability of entailment and relevant implication
• The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction

Cited in

(12)

• Construction of decision functions on the basis of the ternary logic in decision-making systems under uncertainty
• A decision procedure for von Wright's OBS-calculus
• scientific article; zbMATH DE number 4012564 (Why is no real title available?)
• Decision procedures for BDI logics
• scientific article; zbMATH DE number 1263308 (Why is no real title available?)
• scientific article; zbMATH DE number 1342215 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• scientific article; zbMATH DE number 1990014 (Why is no real title available?)
• scientific article; zbMATH DE number 2062375 (Why is no real title available?)
• scientific article; zbMATH DE number 6954650 (Why is no real title available?)
• Constructive decision via redundancy-free proof-search
• A decision procedure for the system E (of entailment). I

This page was built for publication: Decision procedure of some relevant logics: a constructive perspective

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