Pages that link to "Item:Q487555"
From MaRDI portal
The following pages link to Logic: a history of its central concepts (Q487555):
Displayed 46 items.
- Time and determinism (Q266653) (← links)
- Disentangling contradiction from contrariety via incompatibility (Q346755) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Diversification of object-languages for propositional logics (Q1711508) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- Euler-type diagrams and the quantification of the predicate (Q1986087) (← links)
- Subatomic negation (Q2035849) (← links)
- Variable sharing in connexive logic (Q2056220) (← links)
- Axiomatization of some basic and modal Boolean connexive logics (Q2070430) (← links)
- Poly-connexivity: connexive conjunction and disjunction (Q2080698) (← links)
- Three ways of being non-material (Q2115283) (← links)
- Rewriting the history of connexive logic (Q2144205) (← links)
- On the logical form of concessive conditionals (Q2144209) (← links)
- Interpreting connexive principles in coherence-based probability logic (Q2146067) (← links)
- An analysis of poly-connexivity (Q2157598) (← links)
- Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values (Q2259006) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Connexive restricted quantification (Q2656207) (← links)
- Beyond Syllogisms: Carroll’s (Marked) Quadriliteral Diagram (Q2948604) (← links)
- Relevant Connexive Logic (Q3387887) (← links)
- Boolean Connexive Logics: Semantics and tableau approach (Q3387888) (← links)
- Logic Diagrams in the Weigel and Weise Circles (Q4608218) (← links)
- ‘Horrent with Mysterious Spiculæ’. Augustus De Morgan’s Logic Notation of 1850 as a ‘Calculus of Opposite Relations’ (Q4608220) (← links)
- On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs (Q4608221) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden (Q4999457) (← links)
- A Poly-Connexive Logic (Q5006821) (← links)
- Kilwardby's 55th Lesson (Q5006838) (← links)
- Connexive Variants of Modal Logics Over FDE (Q5020173) (← links)
- Many-valuedness from a universal logic perspective (Q5061411) (← links)
- DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST (Q5065139) (← links)
- Probabilistic pragmatics explains gradience and focality in natural language quantification (Q5073271) (← links)
- Concept Diagrams and the Context Principle (Q5118383) (← links)
- Schopenhauer’s Eulerian Diagrams (Q5118386) (← links)
- Arthur Schopenhauer on Naturalness in Logic (Q5118389) (← links)
- Metalogic, Schopenhauer and Universal Logic (Q5118392) (← links)
- Modal Boolean Connexive Logics: Semantics and Tableau Approach (Q5126195) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS (Q5221292) (← links)
- Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition) (Q5241517) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- A Critical Examination of the Historical Origins of Connexive Logic (Q5871282) (← links)
- Syllogistic with Jigsaw Puzzle Diagrams (Q5878891) (← links)