The following pages link to Synonymous logics (Q1404389):
Displaying 26 items.
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- Equivalence of syllogisms (Q558433) (← links)
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- On the concept of a notational variant (Q1679767) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- Possibility and dyadic contingency (Q2093031) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Logics of synonymy (Q2194116) (← links)
- Translating logical terms (Q2288257) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Semantic penumbra: concept similarity in logic (Q2339013) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- Glymour and Quine on theoretical equivalence (Q2397813) (← links)
- Synonymous logics: a correction (Q2481245) (← links)
- ON DEFINABILITY IN MULTIMODAL LOGIC (Q3644800) (← links)
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE (Q3644801) (← links)
- Translations of Logical Formulas and the Equiconsistency Problem (Q4304148) (← links)
- The Versatility of Universality in<i>Principia Mathematica</i> (Q4914180) (← links)
- Freeing Structural Realism from Model Theory (Q5015979) (← links)
- A Logical Autobiography (Q5027230) (← links)
- MORITA EQUIVALENCE (Q5737954) (← links)
- (Q5869721) (← links)
- Quineanism, noneism and metaphysical equivalence (Q6636377) (← links)
