Validity Measurement in Some Propositional Logics

DOI10.1002/MALQ.19970430410MaRDI QIDQ4366133zbMATH OpenOpenAlexFDO

Authors Branislav Boričić

Publication date 17 March 1998

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430410

zbMATH Keywords

intuitionistic logicKripke modelsprobability logicprobability operators

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Other nonclassical logic (03B60) Fuzzy logic; logic of vagueness (03B52) Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• Publication:4860648
• Measuring inconsistency in generalized propositional logic
• Validity concepts in proof-theoretic semantics
• scientific article; zbMATH DE number 1505462
• Validity and entailment in modal and propositional dependence logics
• scientific article; zbMATH DE number 7056228
• Measuring inconsistency in some logics with modal operators
• Validity in Simple Partial Logic
• Measuring inconsistency with many-valued logics
• scientific article; zbMATH DE number 1420893

Cites work

• Semantical investigations in Heyting's intuitionistic logic

Cited in

(9)

• scientific article; zbMATH DE number 1823891 (Why is no real title available?)
• Partial probability functions and intuitionistic logic
• Probabilistic models for intuitionistic predicate logic
• scientific article; zbMATH DE number 834562 (Why is no real title available?)
• An intuitionistic logic with probabilistic operators
• Modal operators with probabilistic interpretations. I
• Intuitionistic propositional probability logic
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules

This page was built for publication: Validity Measurement in Some Propositional Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366133)