Pages that link to "Item:Q3133182"
From MaRDI portal
The following pages link to How to identify, translate and combine logics? (Q3133182):
Displaying 13 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Mathematical models as research data via flexiformal theory graphs (Q2364682) (← links)
- Morphism axioms (Q2402279) (← links)
- Generic Literals (Q3453109) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- (Q6079227) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- A logical framework perspective on conservativity (Q6648169) (← links)