Suzumura consistency is known as a sufficient and necessary condition for a binary relation to have an order extension. We advocate the use of equivalent but negation-free forms of Suzumura consistency and of the related notion of compatible extension. From a methodological perspective, our proposals make possible to work more abstractly, in the algebra of relations, and to give more direct proofs. To illustrate this we reconsider various forms and proofs of the order extension principle. As a complement we adopt to quasi-orders J.L. Bell’s argument that Gödel–Dummett logic is necessary for order extension.

Suzumura consistency, an alternative approach

Peter Schuster;Daniel Wessel
2018-01-01

Abstract

Suzumura consistency is known as a sufficient and necessary condition for a binary relation to have an order extension. We advocate the use of equivalent but negation-free forms of Suzumura consistency and of the related notion of compatible extension. From a methodological perspective, our proposals make possible to work more abstractly, in the algebra of relations, and to give more direct proofs. To illustrate this we reconsider various forms and proofs of the order extension principle. As a complement we adopt to quasi-orders J.L. Bell’s argument that Gödel–Dummett logic is necessary for order extension.
2018
order extension
suzumura consistency
algebra of relations
Gödel-Dummett logic
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/976215
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 2
social impact