Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
From MaRDI portal
Publication:456973
DOI10.1007/s11225-014-9553-4zbMath1304.03081OpenAlexW2093315530MaRDI QIDQ456973
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
algebraic logicbehavioral algebraizabilitybehavioral categorical Leibniz hierarchybehavioral Leibniz congruence systemsbehavioral Leibniz hierarchybehavioral Leibniz operatormulti-sorted \(\pi\)-institutionsmulti-sorted behavioral logic
Related Items (3)
Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Abstract valuation semantics ⋮ A short overview of Hidden Logic
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
This page was built for publication: Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
