scientific article; zbMATH DE number 3299687
From MaRDI portal
Publication:5581592
zbMath0188.01104MaRDI QIDQ5581592
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
New Algebras and Logic from a Category of Rough Sets, A coalgebraic perspective on logical interpretations, Conservative translations revisited, Synonymous logics, Proof Compression and NP Versus PSPACE II, Modal companions of intermediate propositional logics, Modal translations in substructural logics, Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle, Conservative translations, Epistemic and intuitionistic formal systems, Prawitz, Proofs, and Meaning, Many-Valued Logics and Translations, The middle ground-ancestral logic, An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper, Interpretations of intuitionist logic in non-normal modal logics, Paraconsistent logics and translations, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics, Idempotent variations on the theme of exclusive disjunction
