scientific article; zbMATH DE number 3987256

zbMATH Open0611.03011MaRDI QIDQ3751562FDOQ3751562

Authors: Kosta Došen, Peter Schroeder-Heister 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4772
• Model-theoretic conservative extension for definitional theories
• scientific article; zbMATH DE number 8770
• scientific article
• On conservative extensions in logics with infinitary predicates

zbMATH Keywords

conservative extensiondefinabilityformal systemunique characterization

Mathematics Subject Classification ID

General logic (03B99)

Cited In (9)

• On The Uniqueness of the Lindenbaum Extension
• On a conservative extension argument of Dana Scott
• A perspective on modal sequent logic
• Proof-theoretic semantics: an autobiographical survey
• Title not available (Why is that?)
• On conservative extensions in logics with infinitary predicates
• Uniquely representing ``a preference for uniformity
• Are the open-ended rules for negation categorical?
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis

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 Q3751562)