ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Completeness and conservative extension results for some boolean relevant logics (1989)

Giambrone, Steve ; Meyer, Robert K.

Springer

Studia logica 48 (1989), S. 1-14

add to mindlist on the mindlist

Details

ISSN: 1572-8730

Source: Springer Online Journal Archives 1860-2000

Topics: Mathematics , Philosophy

Notes: Abstract This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along the way.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF00370629

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit