The Proof by Cases Property and its Variants in Structural Consequence Relations

Cintula, Petr - Noguera, Carles
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. ISSN 0039-3215. E-ISSN 1572-8730
Impakt faktor: 0.330, rok: 2013
http://hdl.handle.net/11104/0223575

Citováno: 34

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- CIABATTONI, A. - GALATOS, N. - TERUI, K. Algebraic proof theory: Hypersequents and hypercompletions. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAR 2017, vol. 168, no. 3, p. 693-737. [WOS]
--- LELLMANN, B. Hypersequent rules with restricted contexts for propositional modal logics. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, DEC 20 2016, vol. 656, A, p. 76-105. [WOS]
--- RINALDI, D. - SCHUSTER, P. - WESSEL, D. Eliminating disjunctions by disjunction elimination. INDAGATIONES MATHEMATICAE-NEW SERIES. ISSN 0019-3577, FEB 2018, vol. 29, no. 1, SI, p. 226-259. [WOS]
--- ALBUQUERQUE, H. - PRENOSIL, A. - RIVIECCIO, U. An Algebraic View of Super-Belnap Logics. STUDIA LOGICA. ISSN 0039-3215, DEC 2017, vol. 105, no. 6, SI, p. 1051-1086. [WOS]
--- GONZALEZ, L.J. Selfextensional logics with a distributive nearlattice term. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 2019, vol. 58, no. 1-2, p. 219-243. [WOS]
--- MORASCHINI, T. A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2018, vol. 11, no. 4, p. 780-804. [WOS]
--- KULACKA, A. Strong standard completeness for continuous t-norms. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 15 2018, vol. 345, p. 139-150. [WOS]
--- CITKIN, A. A Generalization of Maksimova's Criterion for the Disjunction Property. LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. ISSN 2211-2766, 2018, vol. 15, p. 99-115. [WOS]
--- LAVICKA, T. - MORASCHINI, T. - RAFTERY, J.G. The algebraic significance of weak excluded middle laws. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2022, vol. 68, no. 1, p. 79-94. [WOS]
--- PRENOSIL, A. De Morgan clones and four-valued logics. ALGEBRA UNIVERSALIS. ISSN 0002-5240, MAY 2021, vol. 82, no. 2. [WOS]
--- CITKIN, A. Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property. AXIOMS. SEP 2019, vol. 8, no. 3. [WOS]
--- VIDAL, A. - BOU, F. - ESTEVA, F. - GODO, L. On strong standard completeness in some MTL expansions. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, p. 125-147. [WOS]
--- LÁVIČKA, Tomáš, MORASCHINI, Tommaso, RAFTERY, J. G. The algebraic significance of weak excluded middle laws. Mathematical Logic Quarterly. , (2022),. ISSN 0942-5616. Dostupné z: <a href="http://dx.doi.org/10.1002/malq.202100046" data-target="_blank">doi: 10.1002/malq.202100046/a [SCOPUS]
--- FELLIN, G., SCHUSTER, P. A General Glivenko–Gödel Theorem for Nuclei. Electronic Proceedings in Theoretical Computer Science, EPTCS. 351, (2021), s. 51-66. ISSN 2075-2180. Dostupné z: <a href="http://dx.doi.org/10.4204/EPTCS.351.4" data-target="_blank">doi: 10.4204/EPTCS.351.4/a [SCOPUS]
--- FELLIN, G., SCHUSTER, P., WESSEL, D. The Jacobson Radical of a Propositional Theory. Bulletin of Symbolic Logic. , (2021),. ISSN 1079-8986. Dostupné z: <a href="http://dx.doi.org/10.1017/bsl.2021.66" data-target="_blank">doi: 10.1017/bsl.2021.66/a [SCOPUS]
--- PŘENOSIL, Adam. The lattice of super-belnap logics. Review of Symbolic Logic. , (2021),. ISSN 1755-0203. Dostupné z: <a href="http://dx.doi.org/10.1017/S1755020321000204" data-target="_blank">doi: 10.1017/S1755020321000204/a [SCOPUS]
--- PŘENOSIL, Adam. De Morgan clones and four-valued logics. Algebra Universalis. 82, 2 (2021), č. článku 30. ISSN 0002-5240. Dostupné z: <a href="http://dx.doi.org/10.1007/s00012-021-00726-5" data-target="_blank">doi: 10.1007/s00012-021-00726-5/a [SCOPUS]
--- CITKIN, A. Deductive systems with multiple-conclusion rules and the disjunction property. Axioms. 8, 3 (2019), č. článku 100. E-ISSN 2075-1680. Dostupné z: <a href="http://dx.doi.org/10.3390/AXIOMS8030100" data-target="_blank">doi: 10.3390/AXIOMS8030100/a [SCOPUS]
--- GONZÁLEZ, L. J. Selfextensional logics with a distributive nearlattice term. Archive for Mathematical Logic. 58, 1-2 (2019), s. 219-243. ISSN 0933-5846. Dostupné z: <a href="http://dx.doi.org/10.1007/s00153-018-0628-1" data-target="_blank">doi: 10.1007/s00153-018-0628-1/a [SCOPUS]
--- CITKIN, A. A Generalization of Maksimova’s Criterion for the Disjunction Property. Outstanding Contributions to Logic. 15, (2018), s. 99-115. ISSN 2211-2758. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-69917-2_6" data-target="_blank">doi: 10.1007/978-3-319-69917-2_6/a [SCOPUS]
--- MORASCHINI, Tommaso. A study of truth predicates in matrix semantics. Review of Symbolic Logic. 11, 4 (2018), s. 780-804. ISSN 1755-0203. Dostupné z: <a href="http://dx.doi.org/10.1017/S175502031800014X" data-target="_blank">doi: 10.1017/S175502031800014X/a [SCOPUS]
--- KUŁACKA, A. Strong standard completeness for continuous t-norms. Fuzzy Sets and Systems. 345, (2018), s. 139-150. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2018.01.001" data-target="_blank">doi: 10.1016/j.fss.2018.01.001/a [SCOPUS]
--- RINALDI, D., SCHUSTER, P., WESSEL, D. Eliminating disjunctions by disjunction elimination. Indagationes Mathematicae. 29, 1 (2018), s. 226-259. ISSN 0019-3577. Dostupné z: <a href="http://dx.doi.org/10.1016/j.indag.2017.09.011" data-target="_blank">doi: 10.1016/j.indag.2017.09.011/a [SCOPUS]
--- ALBUQUERQUE, H., PŘENOSIL, Adam, RIVIECCIO, U. An Algebraic View of Super-Belnap Logics. Studia Logica. 105, 6 (2017), s. 1051-1086. ISSN 0039-3215. Dostupné z: <a href="http://dx.doi.org/10.1007/s11225-017-9739-7" data-target="_blank">doi: 10.1007/s11225-017-9739-7/a [SCOPUS]
--- CIABATTONI, A., GALATOS, N., TERUI, K. Algebraic proof theory: Hypersequents and hypercompletions. Annals of Pure and Applied Logic. 168, 3 (2017), s. 693-737. ISSN 0168-0072. Dostupné z: <a href="http://dx.doi.org/10.1016/j.apal.2016.10.012" data-target="_blank">doi: 10.1016/j.apal.2016.10.012/a [SCOPUS]
--- VIDAL, Amanda, BOU, F., ESTEVA, F., GODO, L. On strong standard completeness in some MTL infΔ/inf expansions. Soft Computing. 21, 1 (2017), s. 125-147. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-016-2338-0" data-target="_blank">doi: 10.1007/s00500-016-2338-0/a [SCOPUS]
--- LELLMANN, B. Hypersequent rules with restricted contexts for propositional modal logics. Theoretical Computer Science. 656, (2016), s. 76-105. ISSN 0304-3975. Dostupné z: <a href="http://dx.doi.org/10.1016/j.tcs.2016.10.004" data-target="_blank">doi: 10.1016/j.tcs.2016.10.004/a [SCOPUS]
--- Lávička, T. An Abstract Study of Completeness in Infinitary Logics. Prague, 2018. Doctoral Thesis. Charles University, Faculty of Arts. http://hdl.handle.net/20.500.11956/103651
--- Kulacka, A. Propositional Fuzzy Logics: Tableaux and Strong Completeness. London, 2017. Doctoral Thesis. Imperial College London, Department of Computing. http://hdl.handle.net/10044/1/68598.
--- Moraschini, T. Investigations into the role of translations in abstract algebraic logic. Barcelona, 2016. Doctoral Thesis. Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència. http://hdl.handle.net/2445/102248.
--- Wessel, D. Choice, extension, conservation. From transfinite to finite proof methods in abstract algebra. Trento, 2018. PhD Thesis. University of Trento, University of Verona. http://eprints-phd.biblio.unitn.it/2759/.
--- FELLIN, G. - SCHUSTER, P. - WESSEL, D. THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, JUN 2022, vol. 28, no. 2, p. 163-181. [WOS]
--- PRENOSIL, A. THE LATTICE OF SUPER-BELNAP LOGICS. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203. [WOS]