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

DOI10.1007/BF02548472MaRDI QIDQ2394917zbMATH OpenFDO

Authors Witold A. Pogorzelski, Jerzy Słupecki

Publication date 1960

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Cites work

• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• Introduction to Mathematical Logic (PMS-13)

Cited in

(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
• Independent axiomatizability of sets of sentences
• Operator counterparts of types of reasoning
• Key notions of Tarski's methodology of deductive systems
• On three-valued implicative systems
• An approach to logical calculus
• On pairs of dual consequence operations

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

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