Pages that link to "Item:Q5772800"
From MaRDI portal
The following pages link to Der Aussagenkalkül und die Topologie (Q5772800):
Displaying 27 items.
- A generalization of inquisitive semantics (Q312497) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- A topological approach to full belief (Q2421518) (← links)
- A geometric interpretation of logical formulae (Q2652283) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- Equivalence proof for intuitionistic existential alpha graphs (Q2671599) (← links)
- Are the open-ended rules for negation categorical? (Q2695402) (← links)
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- An application of constructive completeness (Q4647571) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω (Q5082052) (← links)
- Dynamic topological logic of metric spaces (Q5388732) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)
