Deduction, induction, and beyond in parametric logic

zbMATH Open1156.03007MaRDI QIDQ5459629FDOQ5459629

Authors Éric Martin, A. K. Sharma, Frank Stephan

Publication date 29 April 2008

zbMATH Keywords

artificial intelligenceinductive inferencemodel theoryparametric logicTarskian logical consequence

Mathematics Subject Classification ID

Computational learning theory (68Q32) Philosophical and critical aspects of logic and foundations (03A05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Abstract deductive systems (03B22) Abstract model theory (03C95) Semantics in the theory of computing (68Q55)

Recommendations

• Nonmonotonicity in the framework of parametric logic
• Logically reliable inductive inference
• Unifying logic, topology and learning in parametric logic
• scientific article; zbMATH DE number 2084839
• Parametric logic: Foundations

Cited in

(2)

• On reasoning expressions and the nature of deduction rules
• scientific article; zbMATH DE number 1082080 (Why is no real title available?)

This page was built for publication: Deduction, induction, and beyond in parametric logic

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