Logic and probabilistic systems

DOI10.1007/s001530050043zbMath0854.03020OpenAlexW2033409775MaRDI QIDQ1915126

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)

Related Items (4)

Obituary: Franco Montagna (1948--2015) ⋮ TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS ⋮ Paraconsistent informational logic ⋮ Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Experimental logics and \(\Delta^0_2\)-theories
• Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
• Examples of sets definable by means of two and three quantifiers
• Experimental logics and Π₃⁰ theories
• Probabilities over rich languages, testing and randomness
• Trial and error predicates and the solution to a problem of Mostowski
• Semirecursive Sets and Positive Reducibility
• Limiting recursion

This page was built for publication: Logic and probabilistic systems