scientific article; zbMATH DE number 2108193
From MaRDI portal
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)