A note on existential instantiation

DOI10.2307/2271245zbMATH Open0155.33803OpenAlexW2101920490MaRDI QIDQ5536621FDOQ5536621

Authors: Dag Prawitz 

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271245

Recommendations

• scientific article; zbMATH DE number 1114347
• Existential instantiation and normalization in sequent natural deduction
• The sentential calculus using rule of inference R_e
• scientific article; zbMATH DE number 859801
• scientific article; zbMATH DE number 966896

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• A logical system based on rules and its application in teaching mathematical logic

Cited In (4)

• Inversion principles and introduction rules
• Theory Instantiation
• Title not available (Why is that?)
• A note on strict implication (1935)

This page was built for publication: A note on existential instantiation

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