Unification with parameters in the implication fragment of classical propositional logic

&
Logic Journal of the IGPL 30 (3):454-464 (2022)
  Copy   BIBTEX

Abstract

In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzab014

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Propositional logic extended with a pedagogically useful relevant implication.Diderik Batens - 2014 - Logic and Logical Philosophy 23 (3).
On the EA-fragment of classical propositional logic.Janis Cirulis - 1981 - Bulletin of the Section of Logic 10 (4):158-160.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
On Structural Features of the Implication Fragment of Frege’s Grundgesetze.Andrew Tedder - 2017 - Journal of Philosophical Logic 46 (4):443-456.
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System.Luiz Carlos Pereira & Ricardo Oscar Rodriguez - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1153-1168.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Algebraic Logic Perspective on Prucnal’s Substitution.Alex Citkin - 2016 - Notre Dame Journal of Formal Logic 57 (4):503-521.
Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin - 2021 - Logica Universalis 15 (1):67-85.
Implication with Possible Exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517 - 535.
Implication with possible exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCsK fragment of S. [REVIEW]Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (5):435 - 487.

Analytics

Added to PP
2021-04-09

Downloads
9 (#1,260,789)

6 months
2 (#1,206,545)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.

View all 14 references / Add more references