Validity Measurement in Some Propositional Logics

DOI10.1002/malq.19970430410zbMath0884.03018OpenAlexW2146588861MaRDI QIDQ4366133

Branislav R. 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

Kripke modelsintuitionistic logicprobability logicprobability operators

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other nonclassical logic (03B60) 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 (1)

Intuitionistic propositional probability logic

Cites Work

• Semantical investigations in Heyting's intuitionistic logic

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