A logical system based on rules and its application in teaching mathematical logic

DOI10.1007/BF02548936zbMath0198.01201OpenAlexW377785333MaRDI QIDQ2540259

Ludwik Borkowski, Jerzy Słupecki

Publication date: 1958

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

Full work available at URL: https://doi.org/10.1007/bf02548936

zbMATH Keywords

general logic

Related Items (9)

Logical consequence, semantic and formal ⋮ Jerzy Słupecki (1904-1987): Life and work ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ Deductive foundation and analytic propositions ⋮ On certain axiomatizations of arithmetic of natural and integer numbers ⋮ The application of mereology to grounding of elementary geometry ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Natural deduction and arbitrary objects ⋮ A note on existential instantiation

Uses Software

• Z

Cites Work

• Strict implication, deducibility and the deduction theorem

This page was built for publication: A logical system based on rules and its application in teaching mathematical logic