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 geometric interpretation of logical formulae

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

DOI10.1007/BF02272287zbMATH Open0059.01408OpenAlexW2030382159MaRDI QIDQ2652283FDOQ2652283


Authors: Helena Rasiowa, Andrzej Mostowski Edit this on Wikidata


Publication date: 1954

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

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





Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)


Cites Work

  • A proof of the completeness theorem of Grödel
  • Der Aussagenkalkül und die Topologie
  • Proofs of non-deducibility in intuitionistic functional calculus
  • Les opérations logiques et les ensembles projectifs
  • Algebraic treatment of the notion of satisfiability






This page was built for publication: A geometric interpretation of logical formulae

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

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