The logic ILP for intuitionistic reasoning about probability
From MaRDI portal
Cites work
- A logic for reasoning about probabilities
- A probabilistic extension of intuitionistic logic
- An intuitionistic logic with probabilistic operators
- Glivenko sequent classes and constructive cut elimination in geometric logics
- scientific article; zbMATH DE number 5838699 (Why is no real title available?)
- scientific article; zbMATH DE number 4035773 (Why is no real title available?)
- scientific article; zbMATH DE number 591047 (Why is no real title available?)
- scientific article; zbMATH DE number 1122846 (Why is no real title available?)
- scientific article; zbMATH DE number 1505462 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- scientific article; zbMATH DE number 3353239 (Why is no real title available?)
- Infinitary intuitionistic logic from a classical point of view
- Infinitary propositional intuitionistic logic
- Modal operators with probabilistic interpretations. I
- Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
- On the strong semantical completeness of the intuitionistic predicate calculus
- Probability logic
- Probability logics. Probability-based formalization of uncertain reasoning
- Reasoning about knowledge and probability
- Some considerations on the logics PFD A logic combining modality and probability
- Some first-order probability logics
- Some probability logics with new types of probability operators
- Sur la logique de M. Brouwer.
- Tableau for the logic ILP
- Zur Deutung der intuitionistischen Logik.
- Über das Prinzip tertium non datur.
This page was built for publication: The logic ILP for intuitionistic reasoning about probability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636376)
