A probabilistic extension of intuitionistic logic

DOI10.1002/MALQ.200310044zbMATH Open1022.03011OpenAlexW2167180320MaRDI QIDQ4419271FDOQ4419271

Authors: Zoran Marković, Miodrag Rašković, Zoran Ognjanović 

Publication date: 31 July 2003

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310044

Recommendations

• scientific article
• An intuitionistic logic with probabilistic operators
• Partial probability functions and intuitionistic logic
• Intuitionistic propositional probability logic
• Probabilistic models for intuitionistic predicate logic
• Probabilistic extensions of various logical systems
• Probability logic: A model-theoretic perspective
• Absolute probability functions for intuitionistic propositional logic
• An extension of the probability logic \(\mathrm{LPP}_2\)
• scientific article; zbMATH DE number 1123884

zbMATH Keywords

completenessdecidabilityintuitionistic logicprobabilistic logic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25)

Cited In (29)

• Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
• A logic with approximate conditional probabilities that can model default reasoning
• A survey on temporal logics for specifying and verifying real-time systems
• Interval/probabilistic uncertainty and non-classical logics
• A \(p\)-adic probability logic
• Probabilistic extensions of various logical systems
• Logical perspectives on the foundations of probability
• Generalization of the fundamental theorem of probability logic in multi-valued propositional logic
• Measure Logic
• An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
• Title not available (Why is that?)
• Partial probability functions and intuitionistic logic
• An algebraic synthesis of the foundations of logic and probability
• Probabilistic models for intuitionistic predicate logic
• Probabilistic logic over equations and domain restrictions
• Logics with Probability Operators
• Title not available (Why is that?)
• An intuitionistic logic with probabilistic operators
• On counting propositional logic and Wagner's hierarchy
• On probability and logic
• The logic ILP for intuitionistic reasoning about probability
• \(p\)-adic probability logics
• Intuitionistic propositional probability logic
• Conditional \(p\)-adic probability logic
• A logic for propositions with indefinite truth values
• Tableau for the logic ILP
• Sequent calculus for classical logic probabilized
• A probabilistic interpolation theorem

This page was built for publication: A probabilistic extension of intuitionistic logic

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