A precise definition of an inference (by the example of natural deduction systems for logics I_ , )

DOI10.21146/2074-1472-2017-23-1-83-104MaRDI QIDQ5365403zbMATH OpenOpenAlexFDO

Authors Vasilyi Olegovich Shangin

Publication date 6 October 2017

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2017-23-1-83-104

zbMATH Keywords

implication introduction ruleindirect rulenatural deductionprecise definition of inferencequasi-elemental formulasubordinated sequence

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• On certain normalizable natural deduction formulations of some propositional intermediate logics
• An alternative natural deduction for the intuitionistic propositional logic
• What is the logic of inference?
• scientific article; zbMATH DE number 3902624
• scientific article; zbMATH DE number 3853043

Cited in

(7)

• Generalized correspondence analysis for three-valued logics
• Archetypal forms of inference
• Correspondence analysis and automated proof-searching for first degree entailment
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis
• Correspondence analysis for some fragments of classical propositional logic

This page was built for publication: A precise definition of an inference (by the example of natural deduction systems for logics \(I_{\langle \alpha, \beta\rangle}\))

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