On the costs of nonclassical logic
From MaRDI portal
Publication:1749804
DOI10.1007/S10992-017-9424-3zbMATH Open1436.03167OpenAlexW2592491023MaRDI QIDQ1749804FDOQ1749804
Authors: Volker Halbach, Carlo Nicolai
Publication date: 28 May 2018
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/on-the-costs-of-nonclassical-logic(8eb57d81-b1e2-4fc2-826b-93b72085d540).html
Recommendations
- scientific article; zbMATH DE number 107515
- Quantum logic and nonclassical logics
- scientific article; zbMATH DE number 3948265
- Publication:4724629
- scientific article; zbMATH DE number 975286
- scientific article; zbMATH DE number 1554267
- On the relative efficiency of different systems for classical and nonclassical propositional logics
- Nonmonotonicity and holicity in quantum logic
- Quantum logic and the classical propositional calculus
- Connections in nonclassical logics
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Cites Work
- Saving truth from paradox
- Title not available (Why is that?)
- Outline of a Theory of Truth
- Elementary induction on abstract structures
- Axiomatic theories of truth
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- Axiomatizing semantic theories of truth?
- Axiomatizing Kripke's theory of truth
- Handbook of philosophical logic. Vol. 5
- Relative Truth Definability of Axiomatic Truth Theories
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Kripke and the logic of truth
- Title not available (Why is that?)
- Provably true sentences across axiomatizations of Kripke's theory of truth
Cited In (10)
- THE POWER OF NAIVE TRUTH
- Inferential constants
- Bicontextualism
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Models of positive truth
- , , AND REINHARDT’S PROGRAM
- Notes on models of (partial) Kripke-Feferman truth
- Truth in a logic of formal inconsistency: how classical can it get?
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Truth, partial logic and infinitary proof systems
This page was built for publication: On the costs of nonclassical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749804)