Categorical abstract algebraic logic: behavioral -institutions

DOI10.1007/S11225-014-9553-4MaRDI QIDQ456973zbMATH OpenOpenAlexFDO

Authors George Voutsadakis

Publication date 26 September 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-014-9553-4

zbMATH Keywords

algebraic logicbehavioral algebraizabilitybehavioral categorical Leibniz hierarchybehavioral Leibniz congruence systemsbehavioral Leibniz hierarchybehavioral Leibniz operatormulti-sorted \(\pi\)-institutionsmulti-sorted behavioral logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

Recommendations

• Categorical abstract algebraic logic: models of -institutions
• Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions
• Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
• Categorical abstract algebraic logic referential \(\pi\)-institutions
• Categorical abstract algebraic logic: equivalential \(\pi\)-institutions
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic weakly referential \(\pi\)-institutions
• Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property

Cites work

• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1231632 (Why is no real title available?)
• scientific article; zbMATH DE number 1507195 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 3999267 (Why is no real title available?)
• scientific article; zbMATH DE number 6404009 (Why is no real title available?)
• A survey of abstract algebraic logic
• Algebraic logic for classical conjunction and disjunction
• Algebraizable logics
• Behavioral abstraction is hiding information
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Behavioral algebraization of logics
• Behavioural reasoning for conditional equations
• Behavioural theories and the proof of behavioural properties
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Categorical abstract algebraic logic: equivalential \(\pi\)-institutions
• Categorical abstract algebraic logic: models of -institutions
• Categorical abstract algebraic logic: more on protoalgebraicity
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Closure properties for the class of behavioral models
• Equivalential and algebraizable logics
• Equivalential logics. I
• Equivalential logics. II
• Institutions: abstract model theory for specification and programming
• On the Algebraization of Many-Sorted Logics
• Protoalgebraic logics
• Quasivarieties of logic, regularity conditions and parameterized algebraization
• Weakly algebraizable logics

Cited in

(6)

• A short overview of hidden logic
• Categorical abstract algebraic logic: hidden multi-sorted logics as multi-term \(\pi\)-institutions
• Behavioral algebraization of logics
• Categorical abstract algebraic logic: meet-combination of logical systems
• Abstract valuation semantics
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

This page was built for publication: Categorical abstract algebraic logic: behavioral \(\pi\)-institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456973)