- 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 łukasiewicz-style refutation system for the modal logic S
Journal of Philosophical Logic 24 (6):573 - 582 (1995)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
Analytics
Added to PP
2009-01-28
Downloads
33 (#475,421)
6 months
4 (#793,623)
2009-01-28
Downloads
33 (#475,421)
6 months
4 (#793,623)
Historical graph of downloads
Citations of this work
Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.Norihiro Kamide - 2023 - Studia Logica 111 (6):979-1014.
Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer - 2011 - Logica Universalis 5 (2):177-203.
Proof and truth: an anti-realist perspective.Luca Tranchini - 2013 - Pisa: Edizioni ETS. Edited by Luca Tranchini.
References found in this work
Aristotle's syllogistic from the standpoint of modern formal logic.Jan Łukasiewicz - 1957 - New York: Garland.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1951 - Revue de Métaphysique et de Morale 57 (4):456-458.
Refutation calculi for certain intermediate propositional logics.Tomasz Skura - 1992 - Notre Dame Journal of Formal Logic 33 (4):552-560.
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
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-7c76586df8-g9ljc uwo