First-Order Implication-Space Semantics
Fields of Study & Subjects
Philosophy and Theoretical Science
Logic
programming
and type systems
Reasoning
and Knowledge
Publication details
- Journal / source
- Journal of Philosophical Logic
- Publisher
- Springer Science and Business Media LLC
- Volume
- 55
- Issue
- 3
- Pages
- 529–554
- Publication date
- 28 April 2026
- Language
- EN