Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

A note on existential instantiation

From MaRDI portal
Publication:5536621
Jump to:navigation, search

DOI10.2307/2271245zbMATH Open0155.33803OpenAlexW2101920490MaRDI QIDQ5536621FDOQ5536621


Authors: Dag Prawitz Edit this on Wikidata


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 Re
  • 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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5536621&oldid=30128017"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 March 2024, at 03:25. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki