Unified deductive systems: an outline

DOI10.1007/S11787-023-00335-XMaRDI QIDQ6146292zbMATH OpenOpenAlexFDO

Authors Alex Citkin

Publication date 10 January 2024

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-023-00335-x

zbMATH Keywords

deductive system with rejectionlogic with refutationlogic with rejectionmultiple conclusion rulespropositional logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other nonclassical logic (03B60)

Cites work

• A meta-logic of inference rules: syntax
• Antirealism and falsity
• Deducibility and many-valuedness
• scientific article; zbMATH DE number 4135907 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• scientific article; zbMATH DE number 3062914 (Why is no real title available?)
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• scientific article; zbMATH DE number 3099235 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Introduction
• Judgment and consequence relations
• Negation, absurdity and contrariety
• On inference from inconsistent premisses
• On the logic of theory change: Partial meet contraction and revision functions
• Rejection
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Rules and Derived Rules
• Tableau methods for classical propositional logic
• The logic with truth and falsehood operators from a point of view of universal logic

This page was built for publication: Unified deductive systems: an outline

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