Basic properties of deductive systems based on nonclassical logics. Part I, II

DOI10.1007/BF02548472zbMath0129.25602MaRDI QIDQ2394917

Witold A. Pogorzelski, Jerzy Słupecki

Publication date: 1960

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Related Items (8)

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ Operator counterparts of types of reasoning ⋮ On pairs of dual consequence operations ⋮ On three-valued implicative systems ⋮ Independent axiomatizability of sets of sentences ⋮ Key notions of Tarski's methodology of deductive systems ⋮ An approach to logical calculus

Cites Work

• Introduction to Mathematical Logic (PMS-13)
• Unnamed Item

This page was built for publication: Basic properties of deductive systems based on nonclassical logics. Part I, II