Equipollent logical systems

MaRDI QIDQ5311058zbMATH OpenFDO

Authors Carlos Caleiro, Ricardo Gonçalves

Publication date 22 August 2005

zbMATH Keywords

equipollence between logical systemstheory space

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• Synonymous logics
• Homeomorphism and the equivalence of logical systems
• scientific article; zbMATH DE number 3946092
• On the logic of factual equivalence
• scientific article; zbMATH DE number 4012571

Cited in

(6)

• What is a logic translation?
• A coalgebraic perspective on logical interpretations
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• A survey on categories of logics and algebraizable logics
• scientific article; zbMATH DE number 6287618 (Why is no real title available?)
• Homeomorphism and the equivalence of logical systems

This page was built for publication: Equipollent logical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311058)