A computational interpretation of conceptivism

DOI10.1080/11663081.2014.980116zbMath1398.03142OpenAlexW2008496380MaRDI QIDQ4583359

Thomas Macaulay Ferguson

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2014.980116

zbMATH Keywords

computationanalytic implicationcontainment logicconceptivism

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (18)

Dualities for Płonka sums ⋮ Correia semantics revisited ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ A duality for involutive bisemilattices ⋮ The fundamental problem of logical omniscience ⋮ Logics of synonymy ⋮ Monstrous content and the bounds of discourse ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Semantical analysis of weak Kleene logics ⋮ More aboutness in imagination ⋮ Algebraic analysis of demodalised analytic implication ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Simple hyperintensional belief revision ⋮ Containment logics: algebraic completeness and axiomatization ⋮ The Płonka product of topological spaces

Cites Work

• Linear logic
• Paraconsistent analytic implication
• Lectures on the Curry-Howard isomorphism
• Proof systems for reasoning about computation errors
• A story semantics for implication
• Analytic implication
• The logic of paradox
• The completeness of S
• Intuitive semantics for first-degree entailments and `coupled trees'
• A modification of Parry's analytic implication
• A semantical theory of analytic implication
• Paraconsistency and analyticity
• Formal inconsistency and evolutionary databases
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Logics of Formal Inconsistency
• A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A computational interpretation of conceptivism