Pseudo-valuations on pre-logics (Q2428614)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6028276
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Pseudo-valuations on pre-logics |
scientific article; zbMATH DE number 6028276 |
Statements
Pseudo-valuations on pre-logics (English)
0 references
26 April 2012
0 references
A pseudo-valuation on a pre-logic \(X\) is a real-valued function \(\varphi\) such that \(\varphi(1)=0\) and \(\varphi(xz)\leq \varphi(x(yz))+\varphi(y)\) for all \(x,y,z\in X\). Properties of pseudo-valuations are investigated, and conditions for a real-valued function on a pre-logic to be a (continuous) pseudo-valuation are found.
0 references
pre-logic
0 references
ideal
0 references
deductive system
0 references
pseudo-valuation
0 references
pseudo-metric induced by pseudo-valuation
0 references
0.8028841614723206
0 references
0.7868021130561829
0 references
0.7643208503723145
0 references
0.7626803517341614
0 references
