Počet záznamů: 1
Note on Deduction Theorems in contraction-free logics
- 1.Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in contraction-free logics.
Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. ISSN 0942-5616. E-ISSN 1521-3870
Impakt faktor: 0.376, rok: 2012
http://hdl.handle.net/11104/0208951
Citováno: 4
--- GISPERT, J. - TORRENS, A. Lattice BCK logics with Modus Ponens as unique rule. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, MAY 2014, vol. 60, no. 3, p. 230-238. [WOS]
--- WEBER, Z. On closure and truth in substructural theories of truth. Synthese. 199, (2021), s. 725-739. ISSN 0039-7857. Dostupné z: <a href="http://dx.doi.org/10.1007/s11229-016-1226-6" data-target="_blank">doi: 10.1007/s11229-016-1226-6/a [SCOPUS]
--- BADIA, G., WEBER, Z. A Substructural Logic for Inconsistent Mathematics. Trends in Logic. 52, (2019), s. 155-176. ISSN 1572-6126. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-030-30221-4_9" data-target="_blank">doi: 10.1007/978-3-030-30221-4_9/a [SCOPUS]
--- GISPERT, J., TORRENS, A. Lattice BCK logics with Modus Ponens as unique rule. Mathematical Logic Quarterly. 60, 3 (2014), s. 230-238. ISSN 0942-5616. Dostupné z: <a href="http://dx.doi.org/10.1002/malq.201300065" data-target="_blank">doi: 10.1002/malq.201300065/a [SCOPUS]
Počet záznamů: 1