scientific article; zbMATH DE number 1343458

MaRDI QIDQ4267169zbMATH OpenFDO

Authors Beata Konikowska

Publication date 14 November 2000

zbMATH Keywords

many-valued logicnatural deductionRosser-Turquette logicsequence formalisationsequent calculus

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Recommendations

• Inconsistency of a metatheory of Nudel'man
• New foundation of formal metamathematics.
• Modal Theorem Proving: An Equational Viewpoint
• Fondements de la métamathématique rationnelle.
• Constructivism in mathematics. An introduction. Volume II
• scientific article; zbMATH DE number 3109417
• On the concept of relatively uniform realizability of propositional formulas
• On the relation of logic to metalogic
• Les bases de la logique Hilbertienne.
• Metavaluations

Cited in

(9)

• Rasiowa-Sikorski deduction systems in computer science applications.
• Natural deduction system for three-valued Heyting's logic
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• A relational formalisation of arbitrary finite valued logics
• On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• scientific article; zbMATH DE number 1418370 (Why is no real title available?)
• On poly-logistic natural-deduction for finitely-valued propositional logics

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 Q4267169)