Deduction-detachment theorem in hidden k-logics

DOI10.1093/LOGCOM/EXT008MaRDI QIDQ5406128zbMATH OpenOpenAlexFDO

Authors Sergey Babenyshev, Manuel A. Martins

Publication date 1 April 2014

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/ext008

zbMATH Keywords

behavioural equivalence relationCraig interpolation propertydeduction-detachment theoremequivalence between logicshidden \(k\)-logicLeibniz congruence

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Deduction-detachment theorem and Gentzen-style deductive systems
• Deduction theorem in congruential modal logics
• Note on deduction theorems in contraction-free logics
• Deduction theorems for weak implicational logics
• An undecidability result for separation logic with theory reasoning
• scientific article; zbMATH DE number 3875236
• scientific article; zbMATH DE number 6019825
• Дедуктивные логики и их связь с интуиционистской логикой
• Deductive Inference for the Interiors and Exteriors of Horn Theories
• Deductive inference for the interiors and exteriors of Horn theories

Cited in

(4)

• Closure properties for the class of behavioral models
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• scientific article; zbMATH DE number 5148397 (Why is no real title available?)
• A short overview of hidden logic

This page was built for publication: Deduction-detachment theorem in hidden k-logics

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