scientific article; zbMATH DE number 5316605

MaRDI QIDQ3520840zbMATH OpenFDO

Authors Carlos Caleiro, Ricardo Gonçalves

Publication date 26 August 2008

zbMATH Keywords

equipollence between logical systemstheory space

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited in

(10)

• Notational variance and its variants
• Topological representation of intuitionistic and distributive abstract logics
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• Homotopical categories of logics
• scientific article; zbMATH DE number 6287618 (Why is no real title available?)
• Intuitionistic logic is a connexive logic
• Classical logic with n truth values as a symmetric many-valued logic
• On logical and scientific strength
• On equivalence relations between interpreted languages, with an application to modal and first-order language
• Naïve non-substructural solutions to the validity paradox

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