Der Aussagenkalkül und die Topologie
From MaRDI portal
Publication:5772800
DOI10.4064/fm-31-1-103-134zbMath0020.33704OpenAlexW957426456MaRDI QIDQ5772800
No author found.
Publication date: 1938
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213024
Related Items (27)
MEREOLOGICAL BIMODAL LOGICS ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Leon Henkin the Reviewer ⋮ A generalization of inquisitive semantics ⋮ A sound and complete axiomatization for Dynamic Topological Logic ⋮ A geometric interpretation of logical formulae ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω ⋮ Three roads to complete lattices: orders, compatibility, polarity ⋮ Logic for physical space. From antiquity to present day ⋮ Equivalence proof for intuitionistic existential alpha graphs ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ A topological approach to full belief ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ Are the open-ended rules for negation categorical? ⋮ Dynamic topological logic of metric spaces ⋮ A semantic hierarchy for intuitionistic logic ⋮ An application of constructive completeness ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ Non-classical propositional calculi in relation to methodological patterns of scientific investigation ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Dynamic topological logic interpreted over minimal systems ⋮ Hybrid logics of separation axioms ⋮ Strong Completeness of S4 for the Real Line
This page was built for publication: Der Aussagenkalkül und die Topologie
