Thomas Macaulay Ferguson

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 19

Top Topics

Top Venues

J. Philos. Log.

J. Log. Comput.

Publications

Thomas Macaulay Ferguson
Executability and Connexivity in an Interpretation of Griss. Stud Logica 112 (1-2) (2024)
Thomas Macaulay Ferguson
Monstrous Content and the Bounds of Discourse. J. Philos. Log. 52 (1) (2023)
Thomas Macaulay Ferguson
Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals. J. Philos. Log. 52 (6) (2023)
Thomas Macaulay Ferguson
Non-Deterministic Many-Valued Modal Logic. ISMVL (2022)
Damián Enrique Szmuc, Thomas Macaulay Ferguson
Meaningless Divisions. Notre Dame J. Formal Log. 62 (3) (2021)
Thomas Macaulay Ferguson
Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. TABLEAUX (2021)
Thomas Macaulay Ferguson
Modeling Intentional States with Subsystems of ALC. Description Logics (2021)
Thomas Macaulay Ferguson
The Keisler-Shelah theorem for $\mathsf{QmbC}$ through semantical atomization. Log. J. IGPL 28 (5) (2020)
Thomas Macaulay Ferguson
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic. J. Log. Comput. 30 (8) (2020)
Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. WoLLIC (2019)
Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc
Logics based on linear orders of contaminating values. J. Log. Comput. 29 (5) (2019)
Thomas Macaulay Ferguson
Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization. Log. J. IGPL 27 (6) (2019)
Thomas Macaulay Ferguson
A Gödel-Artemov-Style Analysis of Constructible Falsity. LFCS (2018)
Thomas Macaulay Ferguson
Dunn-Priest Quotients of Many-Valued Structures. Notre Dame J. Formal Log. 58 (2) (2017)
Thomas Macaulay Ferguson
Rivals to Belnap-Dunn Logic on Interlaced Trilattices. Stud Logica 105 (6) (2017)
Thomas Macaulay Ferguson
Correia Semantics Revisited. Stud Logica 104 (1) (2016)
Thomas Macaulay Ferguson
On Arithmetic Formulated Connexively. FLAP 3 (3) (2016)
Thomas Macaulay Ferguson
Faulty Belnap computers and subsystems of FDE. J. Log. Comput. 26 (5) (2016)
Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson
Editorial Preface. FLAP 3 (3) (2016)
Thomas Macaulay Ferguson
Cut-Down Operations on Bilattices. ISMVL (2015)
Thomas Macaulay Ferguson
Logics of Nonsense and Parry Systems. J. Philos. Log. 44 (1) (2015)
Thomas Macaulay Ferguson
Two paradoxes of semantic information. Synth. 192 (11) (2015)
Thomas Macaulay Ferguson
A computational interpretation of conceptivism. J. Appl. Non Class. Logics 24 (4) (2014)
Thomas Macaulay Ferguson
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. ISMVL (2014)
Thomas Macaulay Ferguson
On Non-Deterministic Quantification. Logica Universalis 8 (2) (2014)
Thomas Macaulay Ferguson
Extensions of Priest-da Costa Logic. Stud Logica 102 (1) (2014)
Thomas Macaulay Ferguson
Notes on the Model Theory of DeMorgan Logics. Notre Dame J. Formal Log. 53 (1) (2012)