Probabilistic models for intuitionistic predicate logic
From MaRDI portal
Publication:3103981
DOI10.1093/LOGCOM/EXQ033zbMATH Open1250.03013OpenAlexW2042568299MaRDI QIDQ3103981
Publication date: 19 December 2011
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exq033
Heyting algebraintuitionistic logicintuitionistic probabilityGaifman conditionweak probabilistic model
Heyting algebras (lattice-theoretic aspects) (06D20) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items (11)
Credibilistic programming. An introduction to models and applications ⋮ Expressiveness of probabilistic modal logics: a gradual approach ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Title not available (Why is that?) ⋮ Probabilistic Interpretations of Predicates ⋮ Models for Many-Valued Probabilistic Reasoning ⋮ Rota's Fubini lectures: the first problem ⋮ Title not available (Why is that?) ⋮ Predicate transformers for extended probability and non-determinism ⋮ Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic ⋮ Probability logic: A model-theoretic perspective
This page was built for publication: Probabilistic models for intuitionistic predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3103981)
