Pages that link to "Item:Q4419271"
From MaRDI portal
The following pages link to A probabilistic extension of intuitionistic logic (Q4419271):
Displaying 24 items.
- \(p\)-adic probability logics (Q344035) (← links)
- Conditional \(p\)-adic probability logic (Q465585) (← links)
- A logic for propositions with indefinite truth values (Q1057854) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- Absolute probability functions for intuitionistic propositional logic (Q1299962) (← links)
- Sequent calculus for classical logic probabilized (Q1712933) (← links)
- Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning'' (Q1726293) (← links)
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers (Q2350218) (← links)
- A logic with approximate conditional probabilities that can model default reasoning (Q2379314) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Interval/probabilistic uncertainty and non-classical logics (Q2473569) (← links)
- Generalization of the fundamental theorem of probability logic in multi-valued propositional logic (Q2885663) (← links)
- A \(p\)-adic probability logic (Q2910981) (← links)
- Probabilistic models for intuitionistic predicate logic (Q3103981) (← links)
- Measure Logic (Q3524924) (← links)
- An intuitionistic logic with probabilistic operators (Q4815848) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Tableau for the logic ILP (Q5056452) (← links)
- Probabilistic logic over equations and domain restrictions (Q5377701) (← links)
- Logical perspectives on the foundations of probability (Q6049746) (← links)
- Intuitionistic propositional probability logic (Q6094169) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic (Q6163912) (← links)
- The logic ILP for intuitionistic reasoning about probability (Q6636376) (← links)
