scientific article; zbMATH DE number 3299687
From MaRDI portal
Publication:5581592
Cited in
(22)- Modal companions of intermediate propositional logics
- Modal translations in substructural logics
- Interpretations of intuitionist logic in non-normal modal logics
- Synonymous logics
- Paraconsistent logics and translations
- The middle ground-ancestral logic
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Idempotent variations on the theme of exclusive disjunction
- A coalgebraic perspective on logical interpretations
- Many-Valued Logics and Translations
- Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
- New algebras and logic from a category of rough sets
- Proof compression and NP versus PSPACE. II
- Prawitz, Proofs, and Meaning
- Epistemic and intuitionistic formal systems
- Conservative translations
- Conservative translations revisited
- A study of algebraic structures and logics based on categories of rough sets
- Gödel's modal interpretation of intuitionistic logic and its proof theory
- On combining intuitionistic and S4 modal logic
- On logical and scientific strength
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5581592)
