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

• Examples of sets definable by means of two and three quantifiers
• Experimental logics and ^0_2-theories
• Experimental logics and Π₃⁰ theories
• 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?)
• 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

(15)

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

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)