Vytisknout
0560680 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G. - Tokuda, N.
Algebraic Semantics for One-Variable Lattice-Valued Logics.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 237-257. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Modal Logic * Substructural Logics * Lattice-Valued Logics * One-Variable Fragment * Superamalgamation * Sequent Calculus * Interpolation
Obor OECD: Pure mathematics
http://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0333542
Cintula, Petr - Metcalfe, G. - Tokuda, N.
Algebraic Semantics for One-Variable Lattice-Valued Logics.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 237-257. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Modal Logic * Substructural Logics * Lattice-Valued Logics * One-Variable Fragment * Superamalgamation * Sequent Calculus * Interpolation
Obor OECD: Pure mathematics
http://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0333542