Common Logic of 2‐Valued Semigroup Connectives

DOI10.1002/MALQ.19910370907zbMath0741.03003OpenAlexW2157185909MaRDI QIDQ3982865

Wolfgang Rautenberg

Publication date: 26 June 1992

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910370907

zbMATH Keywords

conservative extensionstrengtheningsequential rulesbinary propositional connectives

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (2)

False though partly true -- an experiment in logic ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

This page was built for publication: Common Logic of 2‐Valued Semigroup Connectives