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

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 (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic propositional probability logic
• Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules

   Recommendations

• Title not available (Why is that?) 👍 👎
• Measuring inconsistency in generalized propositional logic 👍 👎
• Validity concepts in proof-theoretic semantics 👍 👎
• Title not available (Why is that?) 👍 👎
• Validity and entailment in modal and propositional dependence logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Measuring inconsistency in some logics with modal operators 👍 👎
• Validity in Simple Partial Logic 👍 👎
• Measuring inconsistency with many-valued logics 👍 👎
• Title not available (Why is that?) 👍 👎

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)