scientific article; zbMATH DE number 834562
From MaRDI portal
Publication:4860648
zbMATH Open0841.03021MaRDI QIDQ4860648
Publication date: 16 July 1996
Title of this publication is not available (Why is that?)
accessibilityKripke modelsuperintuitionistic logicprobabilistic measuresprobability operatorsprobabilistic propositional logic
Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (3)
Distances and uncertainty measures on the propositional formulas of an \(n\)-valued logic ⋮ Validity Measurement in Some Propositional Logics ⋮ Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4860648)
