Categorical abstract algebraic logic: behavioral \(\pi\)-institutions

DOI10.1007/s11225-014-9553-4zbMath1304.03081MaRDI QIDQ456973

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 logic; behavioral algebraizability; behavioral categorical Leibniz hierarchy; behavioral Leibniz congruence systems; behavioral Leibniz hierarchy; behavioral Leibniz operator; multi-sorted \(\pi\)-institutions; multi-sorted behavioral logic

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03G27: Abstract algebraic logic

Related Items

A short overview of Hidden Logic, Categorical abstract algebraic logic: meet-combination of logical systems, Abstract valuation semantics

Cites Work

• Behavioural theories and the proof of behavioural properties
• Behavioral abstraction is hiding information
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Behavioral algebraization of logics
• Equivalential logics. I
• Equivalential logics. II
• Algebraic logic for classical conjunction and disjunction
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• A survey of abstract algebraic logic
• Quasivarieties of logic, regularity conditions and parameterized algebraization
• Categorical abstract algebraic logic: more on protoalgebraicity
• Closure properties for the class of behavioral models
• Equivalential and algebraizable logics
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• On the Algebraization of Many-Sorted Logics
• Behavioral algebraization of da Costa's C-systems
• Algebraizable logics
• Institutions: abstract model theory for specification and programming
• Weakly algebraizable logics
• Behavioural reasoning for conditional equations
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item