A short overview of hidden logic

DOI10.1007/978-3-319-74772-9_6MaRDI QIDQ4586416zbMATH OpenOpenAlexFDO

Authors Isabel M. A. Ferreirim, Manuel A. Martins

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

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

Recommendations

• Closure properties for the class of behavioral models
• Deduction-detachment theorem in hidden k-logics
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• scientific article; zbMATH DE number 1972769
• scientific article; zbMATH DE number 4002147

Cites work

• A complete algebraic characterization of behavioral subtyping
• A hidden agenda
• A survey of abstract algebraic logic
• Algebraizable logics
• An approach to object semantics based on terminal co-algebras
• Behavioral algebraization of logics
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• Behavioural and abstractor specifications
• Behavioural reasoning for conditional equations
• Behavioural theories and the proof of behavioural properties
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Closure properties for the class of behavioral models
• Coinduction for preordered algebra
• Conditional circular coinductive rewriting with case analysis.
• Constructor-based observational logic
• Deduction-detachment theorem in hidden k-logics
• Encyclopaedia of mathematics. Supplement volume III
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Equivalential and algebraizable logics
• Equivalential logics. I
• Hidden coinduction: behavioural correctness proofs for objects
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1487499 (Why is no real title available?)
• scientific article; zbMATH DE number 1507195 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (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?)
• Observational proofs by rewriting.
• On the injectivity of the Leibniz operator
• Order algebraizable logics
• Protoalgebraic logics
• Swinging types=functions+relations+transition systems
• Theory of logical calculi. Basic theory of consequence operations
• Weakly algebraizable logics

Cited in

(4)

• On the subtle nature of a simple logic of the hide and seek game
• Closure properties for the class of behavioral models
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• scientific article; zbMATH DE number 4185064 (Why is no real title available?)

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: A short overview of hidden logic

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