Decision problems and recursiveness in formal logic systems

zbMATH Open1352.03049MaRDI QIDQ3179028FDOQ3179028

Authors: Iveth Martínez, Eduardo Piza 

Publication date: 20 December 2016

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

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)

Cited In (4)

• Two decision problems in Contact Logics
• The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
• SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS
• Title not available (Why is that?)

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)