scientific article; zbMATH DE number 2108193

zbMATH Open1053.03002MaRDI QIDQ4820591FDOQ4820591

Authors: Janusz Czelakowski 

Publication date: 15 October 2004

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Twenty years of rewriting logic
• Synonymous logics: a correction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coproduct and amalgamation of deductive systems by means of ordered algebras
• Title not available (Why is that?)

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)