Pseudo-valuations on pre-logics (Q2428614)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pseudo-valuations on pre-logics |
scientific article |
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
