The Link Between Probability Functions and Logical Consequence
From MaRDI portal
Publication:4252862
DOI10.1017/S0012217300009264zbMath0923.03031MaRDI QIDQ4252862
Publication date: 16 August 1999
Published in: Dialogue (Search for Journal in Brave)
propositional logicconsequence relationsprobabilistic semanticsGentzen sequentsdegree of logical consequence
This page was built for publication: The Link Between Probability Functions and Logical Consequence