Partially interpreted relations and partially interpreted quantifiers (Q1277330): Difference between revisions

The partiality of quantifiers is examined from the viewpoint of generalized quantifiers. Two approaches -- based on Van Eijck's coherent quantifiers and Feferman's quantifiers -- are compared and their interdefinability is proved. Some misprints: p. \(592^5\) membership in \(R\) is omitted, p. \(597^9\) the upper index at \(Q\) should be 0.

0 references

Mathematics Subject Classification ID

03A05

0 references

0 references

0 references

0 references

partially interpreted quantifiers

0 references

partiality of quantifiers

0 references

generalized quantifiers

0 references

coherent quantifiers

0 references

Feferman's quantifiers

0 references

reviewed by

Pavel Materna

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q3992551

0 references

Q4342079

0 references

Henkin quantifiers and complete problems

0 references

Q2702234

0 references

Toward useful type-free theories. I

0 references

Outline of a Theory of Truth

0 references

Q3992553

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1277330

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992551
@@ Property / cites work: Q3992551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342079
@@ Property / cites work: Q4342079 / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702234
@@ Property / cites work: Q2702234 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992553
@@ Property / cites work: Q3992553 / rank @@
+Normal rank