scientific article; zbMATH DE number 866048
From MaRDI portal
Publication:4873213
Recommendations
- scientific article; zbMATH DE number 866057
- Axiomatizing distance logics
- Logical Approaches to Computational Barriers
- Preservation theorems without continuum hypothesis
- Preservation theorems in linear continuous logic
- Distance-based paraconsistent logics
- scientific article; zbMATH DE number 10164
- On Mazur-Ulam theorem and mappings which preserve distances
- Some preservation theorems in an intermediate logic
- The definable \((p,q)\)-theorem for distal theories
Cited in
(2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873213)