Note on D-Completeness and Prelinearity

Autoři: Karel Chvalovský
Rok vydání: 2013
Typ publikace: Článek v odborném periodiku
Periodikum: Bulletin of the Section of Logic
Projekty: Matematická fuzzy logika v informatice
Logické základy sémantiky
Bibliografická citace: CHVALOVSKÝ, Karel. Note on D-Completeness and Prelinearity. Bulletin of the Section of Logic. 2013, 42(3-4), 111-118. ISSN 0138-0680. Dostupné z: http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_2.pdf
ID: 420892
Online záznam: Zobrazit online záznam

Abstrakt

We prove that any set of axioms containing B, B', and the prelinearity axiom is D-complete, i.e. the very same formulae are provable with the rule of condensed detachment as are with modus ponens and substitution.