Deduction-detachment theorem in hidden k-logics

DOI10.1093/logcom/ext008zbMath1327.03022OpenAlexW2050410172MaRDI QIDQ5406128

Manuel A. Martins, Sergey Babenyshev

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

Leibniz congruencededuction-detachment theoremCraig interpolation propertyequivalence between logicsbehavioural equivalence relationhidden \(k\)-logic

Mathematics Subject Classification ID

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

Related Items (2)

Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ A short overview of Hidden Logic

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