Decision problems and recursiveness in formal logic systems

MaRDI QIDQ3179028zbMATH OpenFDO

Authors Iveth Martínez, Eduardo Piza

Publication date 20 December 2016

zbMATH Keywords

first-order logicformal logicdecision problemspartial propositional logicssemi-Thue production systems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Thue and Post systems, etc. (03D03) Recursively (computably) enumerable sets and degrees (03D25) Applications of computability and recursion theory (03D80)

Recommendations

• Publication:4942004
• A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
• scientific article; zbMATH DE number 8775
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
• scientific article; zbMATH DE number 2072508

Cited in

(4)

• scientific article; zbMATH DE number 3885864 (Why is no real title available?)
• Two decision problems in Contact Logics
• SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS
• The descriptive complexity of decision problems through logics with relational fixed-point and capturing results

This page was built for publication: Decision problems and recursiveness in formal logic systems

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