The following pages link to (Q5581592):
Displayed 18 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Interpretations of intuitionist logic in non-normal modal logics (Q1283321) (← links)
- Synonymous logics (Q1404389) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle (Q4915583) (← links)
- New Algebras and Logic from a Category of Rough Sets (Q5082209) (← links)
- Proof Compression and NP Versus PSPACE II (Q5147748) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Conservative translations (Q5935991) (← links)
- Conservative translations revisited (Q6156208) (← links)