Logics of nonsense and Parry systems
From MaRDI portal
Recommendations
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Nonsense logics and their algebraic properties
- Four simple paralogics: semantics and sequent calculi
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Refutation systems for a system of nonsense-logic
Cites work
- A note on the decidability of a strong relevant logic
- A propositional logic with subjunctive conditionals
- Analytic implication
- Connexive modal logic
- Constructible falsity
- Constructive negation, implication, and co-implication
- Foundations of the logical theory of scientific knowledge (complex logic). Translated from the Russian by T. J. Blakeley. Revised and enlarged English edition with an appendix by G. A. Smirnov, E. A. Sidorenko, A. M. Fedina, and L. A. Bobrova
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3537642 (Why is no real title available?)
- scientific article; zbMATH DE number 3563035 (Why is no real title available?)
- scientific article; zbMATH DE number 3628922 (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?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- scientific article; zbMATH DE number 3077139 (Why is no real title available?)
- Negation as cancellation, and connexive logic
- Paraconsistency and analyticity
- Paraconsistent analytic implication
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Strong Boethius' thesis and consequential implication
- The completeness of S
- The logic of paradox
Cited in
(33)- Dualities for Płonka sums
- Generalized correspondence analysis for three-valued logics
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
- Containment logics: algebraic completeness and axiomatization
- Meaningless divisions
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Connexive restricted quantification
- Correia semantics revisited
- Boolean connexive logics: semantics and tableau approach
- Defining LFIs and LFUs in extensions of infectious logics
- Nonsense logics and their algebraic properties
- Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
- Exactly true and non-falsity logics meeting infectious ones
- A game theoretical semantics for logics of nonsense
- Pure variable inclusion logics
- On the methodology of paraconsistent logic
- An epistemic interpretation of paraconsistent weak Kleene logic
- Semantical analysis of weak Kleene logics
- Topic-theoretic extensions of analytic implication
- Executability and connexivity in an interpretation of Griss
- A generalization of Beall's off-topic interpretation
- A cartography of LFIs and truth
- Propositional type theory of indeterminacy
- Normalisation for some infectious logics and their relatives
- Insensitive games: game semantics for modal insensitivity
- Inferential-connexive mixed logics
- Implying and containing in truthmaker semantics
- Fragmentation and expression
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
- Suprastructural logics
- A note on matrices for systems of nonsense-logics
This page was built for publication: Logics of nonsense and Parry systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018590)
