- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A refutation theory
Logica Universalis 3 (2):293-302 (2009)
Abstract
A general theory of refutation systems is given. Some applications (concerning maximality and minimality in lattices of logics) are also discussed.My notes
Similar books and articles
Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.
N-valued maximal paraconsistent matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.Tomasz Skura - 2023 - Logica Universalis 17 (4):433-441.
Hybrid deduction-refutation systems for FDE-based logics.Eoin Moore - 2021 - Australasian Journal of Logic 18 (4):599-615.
Classical Logic through Refutation and Rejection.Achille C. Varzi & Gabriele Pulcini - forthcoming - In Achille C. Varzi & Gabriele Pulcini (eds.), Landscapes in Logic (Volume on Philosophical Logics). College Publications.
Analytics
Added to PP
2009-07-29
Downloads
78 (#208,188)
6 months
5 (#836,975)
2009-07-29
Downloads
78 (#208,188)
6 months
5 (#836,975)
Historical graph of downloads
Citations of this work
A system for proper multiple-conclusion entailment.Tomasz Skura & Andrzej Wiśniewski - 2015 - Logic and Logical Philosophy 24 (2).
On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer - 2011 - Logica Universalis 5 (2):177-203.
Sul Dialeteismo. Lezioni Padovane di Graham Priest Ed Altri Saggi Su L Dialeteismo.Filippo Mancini & Massimiliano Carrara - 2021 - Padua, Province of Padua, Italy: Padova University Press.
DLEAC: A Dialetheic Logic with Exclusive Assumptions and Conclusions.Massimiliano Carrara & Enrico Martino - 2019 - Topoi 38 (2):379-388.
References found in this work
Dual counterparts of consequence operations.Ryszard Wójcicki - 1973 - Bulletin of the Section of Logic 2 (1):54-57.
Theory of rejected propositions. I.Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska - 1971 - Studia Logica 29 (1):75 - 123.
Refutation calculi for certain intermediate propositional logics.Tomasz Skura - 1992 - Notre Dame Journal of Formal Logic 33 (4):552-560.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-kkm7k uwo