A short overview of Hidden Logic

DOI10.1007/978-3-319-74772-9_6zbMath1459.03101OpenAlexW2793539925MaRDI QIDQ4586416

Manuel A. Martins, I. M. A. Ferreirim

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10773/22957

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Uses Software

• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Coinduction for preordered algebra
• Behavioural theories and the proof of behavioural properties
• Behavioral algebraization of logics
• Equivalential logics. I
• Theory of logical calculi. Basic theory of consequence operations
• A survey of abstract algebraic logic
• Swinging types=functions+relations+transition systems
• A hidden agenda
• Observational proofs by rewriting.
• Behavioural and abstractor specifications
• Order algebraizable logics
• A complete algebraic characterization of behavioral subtyping
• Constructor-based observational logic
• Closure properties for the class of behavioral models
• Equivalential and algebraizable logics
• Algebraizable logics
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Hidden coinduction: behavioural correctness proofs for objects
• Weakly algebraizable logics
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• An approach to object semantics based on terminal co-algebras
• Deduction-detachment theorem in hidden k-logics
• Behavioural reasoning for conditional equations
• Recent Trends in Algebraic Development Techniques
• Protoalgebraic logics

This page was built for publication: A short overview of Hidden Logic