AN INFINITE SEQUENCE OF PROPOSITIONAL CALCULI

• Authors: Moshchenskii Vladimir A.
• Languages of publication: EN

Abstracts

EN

It is described an infinite sequence of propositional calculi where the next calculus has more compound form of deduction theorem.

Keywords

EN

DEDUCTION THEOREM; INFINITE SEQUENCES; PROPOSITIONAL CALCULUS

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2008
• Issue: 14(27)
• Pages: 123-126
• Document type: ARTICLE

Contributors

author

Moshchenskii Vladimir A.

• Vladimir A. Moshchenskii , Department of Discrete Mathematics and Algorithmics, Faculty of Applied Mathematics and Computer Science, Belarusian State University, Minsk, Belarus

Identifiers

CEJSH db identifier

11PLAAAA101413