Executability and connexivity in an interpretation of Griss

DOI10.1007/s11225-023-10055-4OpenAlexW4383226856MaRDI QIDQ6127196

Thomas Macaulay Ferguson

Publication date: 10 April 2024

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-023-10055-4

zbMATH Keywords

constructive logicconnexive logicexecutable logicG.F.C. Griss

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Constructive negations and paraconsistency
• Analytic implication
• Intuitionistic logic with strong negation
• Logic of proofs
• A Gödel-Artemov-style analysis of constructible falsity
• Constructions and negationless logic
• Negation as cancellation, and connexive logic
• Logics of nonsense and Parry systems
• Logics and falsifications. A new perspective on constructivist semantics
• A modification of Parry's analytic implication
• A semantical theory of analytic implication
• Modal Meinongianism: Conceiving the Impossible
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• Arithmetic Formulated Relevantly
• Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic
• A semantical study of constructible falsity
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item