scientific article; zbMATH DE number 2108193

MaRDI QIDQ4820591zbMATH OpenFDO

Authors Janusz Czelakowski

Publication date 15 October 2004

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22)

Recommendations

• Equivalential and algebraizable logics
• Some Varieties of Equational Logic
• The logics of analytic equivalence
• Infinitary Equilibrium Logic and Strong Equivalence
• scientific article; zbMATH DE number 67036
• On elementary equivalence for equality-free logic
• scientific article; zbMATH DE number 4012571
• scientific article; zbMATH DE number 3956409
• Infinitary equilibrium logic and strongly equivalent logic programs
• Equality propositional logic and its extensions

Cited in

(6)

• Twenty years of rewriting logic
• Synonymous logics: a correction
• scientific article; zbMATH DE number 975273 (Why is no real title available?)
• scientific article; zbMATH DE number 3961694 (Why is no real title available?)
• Coproduct and amalgamation of deductive systems by means of ordered algebras
• scientific article; zbMATH DE number 754436 (Why is no real title available?)

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