---
tag: YXYF6JQXBT
kind: concept
name: Inclusive first-order logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section I
    note: adopted
    mention: wikipedia://en/76765067#LFSI
    sections: [Summary]
inventory: [7705YMHXWW]
---

## Summary

A variant of first-order logic that allows for empty domains, in contrast to the standard requirement that domains contain at least one object.