Deduction, induction, and beyond in parametric logic

zbMATH Open1156.03007MaRDI QIDQ5459629FDOQ5459629

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

Publication date: 29 April 2008

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

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)

Cited In (2)

• On reasoning expressions and the nature of deduction rules
• Title not available (Why is that?)

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)