The following pages link to Johannes Czermak (Q1220482):
Displaying 12 items.
- A remark on Gentzen's calculus of sequents (Q1220483) (← links)
- (Q1233016) (redirect page) (← links)
- Embeddings of classical logic in S4 (Q1233017) (← links)
- Embeddings of classical logic in S4. II (Q1238798) (← links)
- A logical calculus with descriptions (Q1844821) (← links)
- Matrix calculi SS1M and SS1I compared with axiomatic systems (Q2558296) (← links)
- (Q4068701) (← links)
- Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5 (Q4070823) (← links)
- Distinct Modalities are not Equivalent in T (Q4093413) (← links)
- (Q4154539) (← links)
- Some calculus for a logic of change (Q4583141) (← links)
- (Q5283800) (← links)
