A computational interpretation of conceptivism
From MaRDI portal
Recommendations
Cites work
- A modification of Parry's analytic implication
- A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment
- A semantical theory of analytic implication
- A story semantics for implication
- Analytic implication
- Formal inconsistency and evolutionary databases
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 5001191 (Why is no real title available?)
- scientific article; zbMATH DE number 5510996 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3472024 (Why is no real title available?)
- scientific article; zbMATH DE number 3537642 (Why is no real title available?)
- scientific article; zbMATH DE number 3628922 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1178950 (Why is no real title available?)
- scientific article; zbMATH DE number 1852915 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 918109 (Why is no real title available?)
- scientific article; zbMATH DE number 3212008 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- scientific article; zbMATH DE number 3032489 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Lectures on the Curry-Howard isomorphism
- Linear logic
- Logics of formal inconsistency
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Paraconsistency and analyticity
- Paraconsistent analytic implication
- Proof systems for reasoning about computation errors
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- The completeness of S
- The logic of paradox
Cited in
(28)- Computational empiricism
- Dualities for Płonka sums
- Rivals to Belnap-Dunn logic on interlaced trilattices
- More aboutness in imagination
- Simple hyperintensional belief revision
- Containment logics: algebraic completeness and axiomatization
- The fundamental problem of logical omniscience
- Logics of synonymy
- 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
- Algebraic analysis of demodalised analytic implication
- The Płonka product of topological spaces
- A duality for involutive bisemilattices
- Monstrous content and the bounds of discourse
- Correia semantics revisited
- scientific article; zbMATH DE number 1241639 (Why is no real title available?)
- Defining LFIs and LFUs in extensions of infectious logics
- scientific article; zbMATH DE number 6418700 (Why is no real title available?)
- The Case for Conceptualism
- An epistemic interpretation of paraconsistent weak Kleene logic
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Semantical analysis of weak Kleene logics
- Toward a calculus of concepts
- A generalization of Beall's off-topic interpretation
- A cartography of LFIs and truth
- Finite Hilbert systems for weak Kleene logics
- Modal weak Kleene logics through variables inclusion
- Steps toward a computational metaphysics
This page was built for publication: A computational interpretation of conceptivism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583359)
