A probabilistic extension of intuitionistic logic

DOI10.1002/malq.200310044zbMath1022.03011OpenAlexW2167180320MaRDI QIDQ4419271

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

zbMATH Keywords

completenessdecidabilityintuitionistic logicprobabilistic logic

Mathematics Subject Classification ID

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

Related Items (13)

Tableau for the logic ILP ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ A p-adic probability logic ⋮ \(p\)-adic probability logics ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Logical perspectives on the foundations of probability ⋮ Intuitionistic propositional probability logic ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Measure Logic ⋮ Sequent calculus for classical logic probabilized ⋮ Conditional \(p\)-adic probability logic ⋮ Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers ⋮ Logics with Probability Operators

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