scientific article; zbMATH DE number 1163928

MaRDI QIDQ4395552zbMATH OpenFDO

Authors Arata Ishimoto

Publication date 3 December 1998

zbMATH Keywords

axiomatic rejection

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• The method of axiomatic rejection for the intuitionistic propositional logic
• scientific article; zbMATH DE number 1018725
• The axiomatization of propositional logic
• scientific article; zbMATH DE number 859800
• scientific article; zbMATH DE number 7669420
• A proof system for classical logic
• An intuitionistic characterization of classical logic
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz
• scientific article; zbMATH DE number 1941685

Cited in

(5)

• A meta-logic of inference rules: syntax
• A rejection system for the first-degree formulae of some relevant logics
• scientific article; zbMATH DE number 169734 (Why is no real title available?)
• scientific article; zbMATH DE number 804147 (Why is no real title available?)
• scientific article; zbMATH DE number 7669420 (Why is no real title available?)

This page was built for publication:

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