Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items for:

  • Keywords: equality x
  • Mathematics x
Clear All Modify Search

View:

INTERPOLATION AND DEFINABILITY IN QUANTIFIED LOGICS

D.M. Gabbay and L. Maksimova

in Interpolation and Definability: Modal and Intuitionistic Logics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.003.0005
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter contains a proof of Lyndon's interpolation property (LIP) for quantified extensions of basic modal logics K, T, D, K4, and S4, and for some others, including the propositional S5 has ... More


Hierarchies of Dignity

Joseph Mazur

in Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers

Published in print:
2016
Published Online:
January 2018
ISBN:
9780691173375
eISBN:
9781400850112
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691173375.003.0014
Subject:
Mathematics, History of Mathematics

This chapter discusses what Rafael Bombelli called dignità, which translates to the English word “dignity” and is equivalent to what we refer to as “exponents.” It first considers Bombelli's ... More


View: