scientific article; zbMATH DE number 3082563
From MaRDI portal
zbMath0052.01003MaRDI QIDQ5821423
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The Vatican square, Correspondence analysis and automated proof-searching for first degree entailment, The logic of obligation and the obligations of the logician, On the question of the criteria for the paracompleteness of logics, On pairs of dual consequence operations, Łukasiewicz and His Followers in Many-Valued Logic, Rejection in Łukasiewicz’s and Słupecki’s Sense, Proof of L-decidability of Lewis system S5, The genesis of possible worlds semantics
