The following pages link to Thomas Macaulay Ferguson (Q300561):
Displaying 35 items.
- Correia semantics revisited (Q300562) (← links)
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Two paradoxes of semantic information (Q516211) (← links)
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry (Q1683263) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- A Gödel-Artemov-style analysis of constructible falsity (Q1709698) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- Meaningless divisions (Q2075270) (← links)
- Tableaux and restricted quantification for systems related to weak Kleene logic (Q2142060) (← links)
- What is a relevant connective? (Q2155944) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- On non-deterministic quantification (Q2254562) (← links)
- Modeling the interaction of computer errors by four-valued contaminating logics (Q2303584) (← links)
- Dunn-Priest quotients of many-valued structures (Q2364650) (← links)
- Deep \textsf{ST} (Q2679574) (← links)
- Monstrous content and the bounds of discourse (Q2686088) (← links)
- Faulty Belnap computers and subsystems of FDE (Q2957959) (← links)
- (Q2966518) (← links)
- Relevant Logics Obeying Component Homogeneity (Q3121048) (← links)
- Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function (Q3121050) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization (Q3386903) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Introduction (Q5019120) (← links)
- Robert Meyer's Publications on Relevant Arithmetic (Q5019121) (← links)
- Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R# (Q5019129) (← links)
- Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic (Q5140327) (← links)
- Logics based on linear orders of contaminating values (Q5213389) (← links)
- Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization (Q5865566) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
- Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals (Q6145032) (← links)
- From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic (Q6164310) (← links)
