MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
From MaRDI portal
Recommendations
- On multiple conclusion deductions in classical logic
- scientific article; zbMATH DE number 6958
- scientific article; zbMATH DE number 6930543
- scientific article; zbMATH DE number 4049620
- Classical consequences of continuous choice principles from intuitionistic analysis
- Defaults as restrictions on classical Hilbert-style proofs
- Towards a classification of defaults logics
- Cumulative default logic: Finite characterization, algorithms, and complexity
- The complexity of default reasoning under the stationary fixed point semantics
- scientific article; zbMATH DE number 1383060
Cites work
Cited in
(33)- Paradox and logical revision. A short introduction
- Default rules in the logic of first-degree entailments
- Annotated natural deduction for adaptive reasoning
- Mortensen logics
- Expressive limitations of naïve set theory in LP and minimally inconsistent LP.
- A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
- Revisiting Reichenbach's logic
- A note on freedom from detachment in the logic of paradox
- An epistemic interpretation of paraconsistent weak Kleene logic
- God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology
- On all strong Kleene generalizations of classical logic
- Correia semantics revisited
- Some Comments and Replies
- Sequent-calculi for metainferential logics
- Tennant on multiple conclusions
- A recovery operator for nontransitive approaches
- Expanding the logic of paradox with a difference-making relevant implication
- Consistency, completeness, and classicality
- An easy road to multi-contra-classicality
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Conditionals, curry, and consequence: embracing deduction
- Against classical paraconsistent metatheory
- Non-conditional contracting connectives
- Hopeful monsters: a note on multiple conclusions
- Validity, dialetheism and self-reference
- Strict-choice validities: A note on a familiar pluralism
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
- A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
- Deep fried logic
- Non-contractability and revenge
- Denial and disagreement
- Free of Detachment: Logic, Rationality, and Gluts
- Structural weakening and paradoxes
This page was built for publication: MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094191)
