- 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
New sequent calculi for Visser's Formal Propositional Logic
Mathematical Logic Quarterly 49 (5):525 (2003)
Abstract
Two cut-free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei-Ardeshir's calculi for Visser's Basic Propositional Logic.Other Versions
No versions found
My notes
Similar books and articles
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2021 - Journal of Philosophical Logic 51 (1):99-126.
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic.Andreas Fjellstad - 2026 - Bulletin of the Section of Logic 55 (1):49-71.
Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.
SCI–Sequent Calculi, Cut Elimination and Interpolation Property.Andrzej Indrzejczak - 2024 - In Jacek Malinowski & Rafał Palczewski, Janusz Czelakowski on Logical Consequence. Cham: Springer Verlag. pp. 323-343.
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors.Norihiro Kamide & Sara Negri - 2025 - Studia Logica 113 (6):1783-1811.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics.Norihiro Kamide & Sara Negri - 2025 - Bulletin of the Section of Logic 54 (2):227-282.
Analytics
Added to PP
2013-12-01
Downloads
85 (#653,194)
6 months
29 (#326,512)
2013-12-01
Downloads
85 (#653,194)
6 months
29 (#326,512)
Historical graph of downloads
References found in this work
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
Basic Propositional Calculus I.Mohamed Ardeshir & Wim Ruitenberg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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