One step is enough
From MaRDI portal
Publication:2679573
Recommendations
Cites work
- A family of metainferential logics
- A fully classical truth theory characterized by substructural means
- A hierarchy of classical and paraconsistent logics
- A model of tolerance
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
- A recovery operator for nontransitive approaches
- A robust non-transitive logic
- A Set Theory Based on a Certain 3-Valued Logic.
- Algebraic methods in philosophical logic
- An inferentially many-valued two-dimensional notion of entailment
- An introduction to non-classical logic. From if to is
- Axiomatizing Kripke's theory of truth
- Characterizing logical consequence in many-valued logic
- Classical logic and the strict tolerant hierarchy
- Conservatively extending classical logic with transparent truth
- Constructive mathematics and computer programming
- Fixed points for consequence relations
- Four valued semantics and the Liar
- Handbook of philosophical logic. Vol. 5
- scientific article; zbMATH DE number 5910780 (Why is no real title available?)
- scientific article; zbMATH DE number 4137741 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 120342 (Why is no real title available?)
- scientific article; zbMATH DE number 3532923 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3600002 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 3451824 (Why is no real title available?)
- scientific article; zbMATH DE number 2109541 (Why is no real title available?)
- scientific article; zbMATH DE number 3077139 (Why is no real title available?)
- Kripke and the logic of truth
- Norms of truth and logical revision
- On all strong Kleene generalizations of classical logic
- On the `transitivity' of consequence relations
- Outline of a Theory of Truth
- Principles for object-linguistic consequence: from logical to irreflexive
- Saving truth from paradox
- Sorting out the sorites
- Studies on the axiom of comprehension
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
- Syntactical and semantical properties of simple type theory
- Theory of logical calculi. Basic theory of consequence operations
- Tolerant, classical, strict
- Truth and paradox
- Truth and the liar in De Morgan-valued models
- Vague inclosures
- Valuations: bi, tri, and tetra
Cited in
(10)- Deep \textsf{ST}
- Correction to: ``One step is enough
- On the metainferential solution to the semantic paradoxes
- Tableaux for metainferential logics
- Metainferentially substructural validity theories
- Higher-level paradoxes and substructural solutions
- Multilateral supervaluationism and classicality
- Meta-classical non-classical logics
- An inferentialist approach to Mates's puzzle
- Appreciating global validity
This page was built for publication: One step is enough
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2679573)
