Logic and probabilistic systems

DOI10.1007/S001530050043MaRDI QIDQ1915126zbMATH OpenOpenAlexFDO

Authors Giulia Simi, Andrea Sorbi, Franco Montagna

Publication date 11 June 1996

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050043

zbMATH Keywords

probabilistic systemtrial and error probabilistic functions

Mathematics Subject Classification ID

Probability and inductive logic (03B48) First-order arithmetic and fragments (03F30)

Recommendations

• On the power of probabilistic strategies in inductive inference
• A logic for reasoning about probabilities
• Probabilistic canonical models for partial logics
• scientific article; zbMATH DE number 1095142
• Probability logic

Cites work

• scientific article; zbMATH DE number 4060392 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3321248 (Why is no real title available?)
• Examples of sets definable by means of two and three quantifiers
• Experimental logics and ^0_2-theories
• Experimental logics and Π₃⁰ theories
• Limiting recursion
• Probabilities over rich languages, testing and randomness
• Semirecursive Sets and Positive Reducibility
• Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
• Trial and error predicates and the solution to a problem of Mostowski

Cited in

(14)

• Uncertain logics, variables and systems
• Absolute versus probabilistic classification in a logical setting
• Trial and error mathematics. I: Dialectical and quasidialectical systems
• Probabilistic logic
• Probabilistic limit identification up to ``small sets
• scientific article; zbMATH DE number 1191245 (Why is no real title available?)
• A logic for trial and error classifiers
• Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework
• Algorithmic Learning Theory
• scientific article; zbMATH DE number 3864542 (Why is no real title available?)
• Paraconsistent informational logic
• Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
• Obituary: Franco Montagna (1948--2015)
• A utility based evaluation of logico-probabilistic systems

This page was built for publication: Logic and probabilistic systems

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