Stream: Is there code for X?

Topic: First order logic for model theory

Gergely Buday (Dec 13 2024 at 11:11):

Is there a first order logic formalisation in the AFP that supports the concepts of a language and axioms and theories where I can easily express the concept of a theory extension for model theoretical arguments?

Last updated: Jun 17 2026 at 12:18 UTC