Pages that link to "Item:Q3585999"
From MaRDI portal
The following pages link to Existential Fixed-Point Logic, Universal Quantifiers, and Topoi (Q3585999):
Displaying 7 items.
- Objects and existence: Reflections on free logic (Q918948) (← links)
- Finean essence, local necessity, and pure logical properties (Q2219032) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- Herbrand semantics, the potential infinite, and ontology-free logic (Q3990954) (← links)
- The Functional Interpretation of the Existential Quantifier (Q4842274) (← links)