Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic

Cintula, Petr - Metcalfe, G.
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic.
Annals of Pure and Applied Logic. Roč. 162, č. 2 (2010), s. 162-171. ISSN 0168-0072. E-ISSN 1873-2461
Impakt faktor: 0.646, rok: 2010
http://hdl.handle.net/11104/0190481

Citováno: 27

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- SLOMCZYNSKA, K. Algebraic semantics for the (-, (SIC)(SIC))-fragment of IPC. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2012, vol. 58, no. 1-2, p. 29-37. [WOS]
--- GOUDSMIT, J.P. - IEMHOFF, R. On unification and admissible rules in Gabbay-de Jongh logics. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, FEB 2014, vol. 165, no. 2, p. 652-672. [WOS]
--- JERABEK, E. The complexity of admissible rules of Lukasiewicz logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 2013, vol. 23, no. 3, p. 693-705. [WOS]
--- IEMHOFF, R. - ROZIERE, P. UNIFICATION IN INTERMEDIATE LOGICS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2015, vol. 80, no. 3, p. 713-729. [WOS]
--- GOUDSMIT, J.P. Admissibility and refutation: some characterisations of intermediate logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2014, vol. 53, no. 7-8, p. 779-808. [WOS]
--- ROTHLISBERGER, C. TAFA - A Tool for Admissibility in Finite Algebras. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013). ISSN 0302-9743, 2013, vol. 8123, p. 250-256. [WOS]
--- Iemhoff, R. - Rozière, P. Unification in intermediate logics (2015) Journal of Symbolic Logic, 80 (3), pp. 713-729. [SCOPUS]
--- Goudsmit, J.P. - Iemhoff, R. On unification and admissible rules in Gabbay-de Jongh logics. (2014) Annals of Pure and Applied Logic, 165 (2), pp. 652-672. [SCOPUS]
--- Goudsmit, J.P. Admissibility and refutation: some characterisations of intermediate logics. (2014) Archive for Mathematical Logic, 53 (7-8), pp. 779-808. [SCOPUS]
--- Goudsmit, J. A note on extensions: Admissible rules via semantics. (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7734 LNCS, pp. 206-218. [SCOPUS]
--- Röthlisberger, C. TAFA - A tool for admissibility in finite algebras. (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8123 LNAI, pp. 250-256. [SCOPUS]
--- Jeřábek, E. The complexity of admissible rules of Łukasiewicz logic. (2013) Journal of Logic and Computation, 23 (3), pp. 693-705. [SCOPUS]
--- Röthlisberger, C. Checking admissibility in finite algebras. (2013) CEUR Workshop Proceedings, 954, pp. 133-141. [SCOPUS]
--- Słomczyńska, K. Algebraic semantics for the (↔, ¬¬)-fragment of IPC. (2012) Mathematical Logic Quarterly, 58 (1-2), pp. 29-37. [SCOPUS]
--- JERABEK, E. Proof complexity of intuitionistic implicational formulas. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2017, vol. 168, no. 1, p. 150-190. [WOS]
--- RASGA, J. - SERNADAS, C. - SERNADAS, A. PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2016, vol. 9, no. 4, p. 641-663. [WOS]
--- RAFTERY, J.G. - SWIRYDOWICZ, K. Structural Completeness in Relevance Logics. STUDIA LOGICA. ISSN 0039-3215, JUN 2016, vol. 104, no. 3, p. 381-387. [WOS]
--- BEZHANISHVILI, N. - GABELAIA, D. - GHILARDI, S. - JIBLADZE, M. Admissible Bases Via Stable Canonical Rules. STUDIA LOGICA. ISSN 0039-3215, APR 2016, vol. 104, no. 2, p. 317-341. [WOS]
--- CABRER, L. Unification on Subvarieties of Pseudocomplemented Distributive Lattices. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 4, p. 477-502. [WOS]
--- CITKIN, A. Algebraic Logic Perspective on Prucnal's Substitution. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 4, p. 503-521. [WOS]
--- RAFTERY, J.G. Admissible Rules and the Leibniz Hierarchy. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 4, p. 569-606. [WOS]
--- IEMHOFF, R. A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 2, p. 233-247. [WOS]
--- CITKIN, A. Admissibility in Positive Logics. LOGICA UNIVERSALIS. ISSN 1661-8297, DEC 2017, vol. 11, no. 4, p. 421-437. [WOS]
--- SLOMCZYNSKA, K. Algebraic semantics for the (-, (sic))-fragment of IPC and its properties. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, NOV 2017, vol. 63, no. 3-4, p. 202-210. [WOS]
--- SHI, Y.Y. - YUAN, X.H. - ZHANG, Y.C. Constructive methods for intuitionistic fuzzy implication operators. SOFT COMPUTING. ISSN 1432-7643, SEP 2017, vol. 21, no. 18, SI, p. 5245-5264. [WOS]
--- GOUDSMIT, J.P. The Admissible Rules of BD2 and GSc. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2018, vol. 59, no. 3, p. 325-353. [WOS]