Borel probabilistic and quantitative logic

DOI10.1007/s11432-011-4268-xzbMath1267.03036MaRDI QIDQ350946

Wang, Guojun, Hong Jun Zhou

Publication date: 3 July 2013

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4268-x

zbMATH Keywords

probability logic; quantitative logic; finite separation property; probabilistic truth degree

Mathematics Subject Classification ID

03B48: Probability and inductive logic

Related Items

Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices, A quantitative approach to reasoning about incomplete knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Probability logic
• A new theory consistency index based on deduction theorems in several logic systems
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem
• Quantitative logic
• Probabilistic logic
• Integrated semantics and logic metric spaces
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Randomization of classical inference patterns and its application
• Theory of truth degrees of propositions in two-valued logic
• Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\)