Journal of Applied Non-Classical Logics 30 (4):367-381 (2020)
| Abstract |
In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic ⊢ with a composition term. Then, we investigate their position into the lattice of co...
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1080/11663081.2020.1835330 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
View all 16 references / Add more references
Citations of this work BETA
Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - forthcoming - Studia Logica:1-26.
Similar books and articles
Logics of Left Variable Inclusion and Płonka Sums of Matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1-2):49-76.
Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations.Marek Nowak - 2020 - Studia Logica 108 (6):1125-1143.
Logical Opposition and Collective Decisions.Srećko Kovač - 2012 - In Jean-Yves Béziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Springer. pp. 341--356.
Judgment and Consequence Relations.Marcus Kracht - 2010 - Journal of Applied Non-Classical Logics 20 (4):423-435.
A Family of Metainferential Logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.
Rough Consequence and Other Modal Logics.Martin Bunder - 2015 - Australasian Journal of Logic 12 (1).
Rough Consequence and Other Modal Logics.Martin Bunder - 2017 - Australasian Journal of Logic 14 (3).
From Many-Valued Consequence to Many-Valued Connectives.Emmanuel Chemla & Paul Egré - forthcoming - Synthese:1-38.
A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures.James Hawthorne - 2014 - Studia Logica 102 (4):731-749.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Translations Between Logical Systems: A Manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
Analytics
Added to PP index
2020-10-30
Total views
4 ( #1,210,782 of 2,410,616 )
Recent downloads (6 months)
4 ( #188,462 of 2,410,616 )
2020-10-30
Total views
4 ( #1,210,782 of 2,410,616 )
Recent downloads (6 months)
4 ( #188,462 of 2,410,616 )
How can I increase my downloads?
Downloads
