Probabilistic models for intuitionistic predicate logic

DOI10.1093/LOGCOM/EXQ033MaRDI QIDQ3103981zbMATH OpenOpenAlexFDO

Authors George Georgescu

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

zbMATH Keywords

Gaifman conditionHeyting algebraintuitionistic logicintuitionistic probabilityweak probabilistic model

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• An intuitionistic logic with probabilistic operators
• A probabilistic extension of intuitionistic logic
• Intuitionistic propositional probability logic
• Partial probability functions and intuitionistic logic
• Validity Measurement in Some Propositional Logics

Cited in

(17)

• Rota's Fubini lectures: the first problem
• Expressiveness of probabilistic modal logics: a gradual approach
• Classical models are particular cases of probabilistic models
• Some model theory for probability structures
• Models for Many-Valued Probabilistic Reasoning
• Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
• Probabilistic Interpretations of Predicates
• Predicate transformers for extended probability and non-determinism
• Credibilistic programming. An introduction to models and applications
• A probabilistic extension of intuitionistic logic
• scientific article; zbMATH DE number 1463256 (Why is no real title available?)
• scientific article; zbMATH DE number 1844478 (Why is no real title available?)
• An intuitionistic logic with probabilistic operators
• scientific article; zbMATH DE number 7204557 (Why is no real title available?)
• Partial probability functions and intuitionistic logic
• Logic Programming and Nonmonotonic Reasoning
• 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)