Pseudo-valuations on pre-logics

Sun Shin Ahn; Young Bae Jun

doi:10.1007/s10474-011-0178-z

Pseudo-valuations on pre-logics

Sun Shin Ahn, Young Bae Jun

Department of Mathematics Education

Gyeongsang National University

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

Based on the Buşneag's model [1,2,3], the notion of pseudo-valuations (valuations) on a pre-logic is introduced, and a pseudo-metric is induced by a pseudo-valuation on pre-logics. Related properties are investigated, and conditions for a real-valued function on a pre-logic to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation * in pre-logics is uniformly continuous.

Original language	English
Pages (from-to)	499-510
Number of pages	12
Journal	Acta Mathematica Hungarica
Volume	134
Issue number	4
DOIs	https://doi.org/10.1007/s10474-011-0178-z
State	Published - Mar 2012

Keywords

03G25
06F35
deductive system
ideal
pre-logic
pseudo-metric induced by pseudo-valuation
pseudo-valuation
valuation

Access to Document

10.1007/s10474-011-0178-z

Cite this

@article{d8dd3fe066fd4d20a379b99fa96adf58,

title = "Pseudo-valuations on pre-logics",

abstract = "Based on the Bu{\c s}neag's model [1,2,3], the notion of pseudo-valuations (valuations) on a pre-logic is introduced, and a pseudo-metric is induced by a pseudo-valuation on pre-logics. Related properties are investigated, and conditions for a real-valued function on a pre-logic to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation * in pre-logics is uniformly continuous.",

keywords = "03G25, 06F35, deductive system, ideal, pre-logic, pseudo-metric induced by pseudo-valuation, pseudo-valuation, valuation",

author = "Ahn, {Sun Shin} and Jun, {Young Bae}",

year = "2012",

month = mar,

doi = "10.1007/s10474-011-0178-z",

language = "English",

volume = "134",

pages = "499--510",

journal = "Acta Mathematica Hungarica",

issn = "0236-5294",

publisher = "Springer Netherlands",

number = "4",

}

TY - JOUR

T1 - Pseudo-valuations on pre-logics

AU - Ahn, Sun Shin

AU - Jun, Young Bae

PY - 2012/3

Y1 - 2012/3

N2 - Based on the Buşneag's model [1,2,3], the notion of pseudo-valuations (valuations) on a pre-logic is introduced, and a pseudo-metric is induced by a pseudo-valuation on pre-logics. Related properties are investigated, and conditions for a real-valued function on a pre-logic to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation * in pre-logics is uniformly continuous.

AB - Based on the Buşneag's model [1,2,3], the notion of pseudo-valuations (valuations) on a pre-logic is introduced, and a pseudo-metric is induced by a pseudo-valuation on pre-logics. Related properties are investigated, and conditions for a real-valued function on a pre-logic to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation * in pre-logics is uniformly continuous.

KW - 03G25

KW - 06F35

KW - deductive system

KW - ideal

KW - pre-logic

KW - pseudo-metric induced by pseudo-valuation

KW - pseudo-valuation

KW - valuation

UR - http://www.scopus.com/inward/record.url?scp=84856521040&partnerID=8YFLogxK

U2 - 10.1007/s10474-011-0178-z

DO - 10.1007/s10474-011-0178-z

M3 - Article

AN - SCOPUS:84856521040

SN - 0236-5294

VL - 134

SP - 499

EP - 510

JO - Acta Mathematica Hungarica

JF - Acta Mathematica Hungarica

IS - 4

ER -

Pseudo-valuations on pre-logics

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this