Pages that link to "Item:Q3795662"
From MaRDI portal
The following pages link to Uniqueness, definability and interpolation (Q3795662):
Displaying 16 items.
- From constants to consequence, and back (Q383074) (← links)
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Definability properties and the congruence closure (Q810007) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- The non-definability notion and first order logic (Q1124586) (← links)
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems (Q1327488) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- Bases for structures and theories II. (Q2228350) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- A Proof of the Characterization Theorem for Consequence Relations (Q3474643) (← links)
- Uniqueness of improper operations (Q4018202) (← links)
- Uniquely undefinable elements (Q5190200) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)