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

DOI10.1007/BF02548472zbMATH Open0129.25602MaRDI QIDQ2394917FDOQ2394917

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

• Title not available (Why is that?)
• Introduction to Mathematical Logic (PMS-13)

Cited In (8)

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

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)