Categorical abstract algebraic logic: Gentzen ()-institutions
From MaRDI portal
(Redirected from Publication:5449284)
Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
Recommendations
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property
- Categorical abstract algebraic logic: (,N)-algebraic systems
- Categorical abstract algebraic logic: Equivalent institutions
- Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
- Categorical abstract algebraic logic: models of -institutions
Cited in
(14)- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Categorical abstract algebraic logic: Partially ordered algebraic systems
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Categorical abstract algebraic logic weakly referential -institutions
- Multi-term π-institutions and their equivalence
- Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- Categorical abstract algebraic logic: coordinatization is algebraization
- scientific article; zbMATH DE number 5233153 (Why is no real title available?)
- Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties
- Categorical abstract algebraic logic: The largest theory system included in a theory family
- Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
This page was built for publication: Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449284)
