Validity Measurement in Some Propositional Logics

DOI10.1002/MALQ.19970430410zbMATH Open0884.03018OpenAlexW2146588861MaRDI QIDQ4366133FDOQ4366133

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

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

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)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• An intuitionistic logic with probabilistic operators
• Intuitionistic propositional probability logic
• Modal operators with probabilistic interpretations. I
• 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)