Unification with parameters in the implication fragment of classical propositional logic
Logic Journal of the IGPL 30 (3):454-464 (2022)
Abstract
In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.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.
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
5 (#1,170,170)
6 months
2 (#300,121)
2021-04-09
Downloads
5 (#1,170,170)
6 months
2 (#300,121)
Historical graph of downloads
References found in this work
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.
