Some deductive systems for content relationship logics

DOI10.1093/LOGCOM/EXAG019MaRDI QIDQ7295727zbMATH OpenFDO

Authors Mateusz Klonowski

Publication date 14 July 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAG019

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• \textit{Brings it about that} operators decomposed with relating semantics
• A modification of Parry's analytic implication
• Algebraic analysis of demodalised analytic implication
• Axiomatization of some basic and modal Boolean connexive logics
• History of relating logic. The origin and research directions
• scientific article; zbMATH DE number 5997426 (Why is no real title available?)
• scientific article; zbMATH DE number 4061208 (Why is no real title available?)
• scientific article; zbMATH DE number 4061209 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 589741 (Why is no real title available?)
• scientific article; zbMATH DE number 638369 (Why is no real title available?)
• scientific article; zbMATH DE number 1138594 (Why is no real title available?)
• scientific article; zbMATH DE number 1140581 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Natural deduction, hybrid systems and modal logics
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
• Tableaux for logics of content relationship and set-assignment semantics

This page was built for publication: Some deductive systems for content relationship logics

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