Der Aussagenkalkül und die Topologie

DOI10.4064/FM-31-1-103-134zbMATH Open0020.33704OpenAlexW957426456MaRDI QIDQ5772800FDOQ5772800

Alfred Tarski

Publication date: 1938

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213024

zbMATH Keywords

Foundations, philosophy, logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Generalities in topology (54Axx)

Cited In (27)

• Exploring the Jungle of Intuitionistic Temporal Logics
• Leon Henkin the Reviewer
• A semantic hierarchy for intuitionistic logic
• Dynamic topological logic of metric spaces
• MEREOLOGICAL BIMODAL LOGICS
• A generalization of inquisitive semantics
• A geometric interpretation of logical formulae
• A sound and complete axiomatization for dynamic topological logic
• On superintuitionistic logics as fragments of proof logic extensions
• Non-finite axiomatizability of dynamic topological logic
• Three roads to complete lattices: orders, compatibility, polarity
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• A topological approach to full belief
• Choice-free duality for orthocomplemented lattices by means of spectral spaces
• Dynamic topological logic interpreted over minimal systems
• Equivalence proof for intuitionistic existential alpha graphs
• The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
• Hybrid logics of separation axioms
• The intuitionistic temporal logic of dynamical systems
• Key notions of Tarski's methodology of deductive systems
• Are the open-ended rules for negation categorical?
• An application of constructive completeness
• Logic for physical space. From antiquity to present day
• Strong Completeness of S4 for the Real Line
• Non-classical propositional calculi in relation to methodological patterns of scientific investigation
• THE BAIRE CLOSURE AND ITS LOGIC
• COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω

This page was built for publication: Der Aussagenkalkül und die Topologie

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