E-LIB Suche - Ergebnisse für: Lávička, Tomáš

1

Spontaneous HCl elimination in group 10 metal complexes wit..:

Lávička, Tomáš ; Navrátil, Michal ; Císařová, Ivana.
Journal of Organometallic Chemistry. 1015 (2024) - p. 123223 , 2024

Link: https://doi.org/10.1016/..

2

The algebraic significance of weak excluded middle laws:

Lávička, Tomáš ; Moraschini, Tommaso ; Raftery, James G.
Mathematical Logic Quarterly. 68 (2022) 1 - p. 79-94 , 2022

Link: https://doi.org/10.1002/..

3

COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω:

LÁVIČKA, TOMÁŠ ; VERNER, JONATHAN L.
The Journal of Symbolic Logic. 87 (2020) 2 - p. 498-507 , 2020

Link: https://doi.org/10.1017/..

4

Extension Properties and Subdirect Representation in Abstra..:

Lávička, Tomás ; Noguera, Carles
Studia Logica: An International Journal for Symbolic Logic. 106 (2018) 6 - p. 1065-1095 , 2018

Link: https://www.jstor.org/st..

5

A New Hierarchy of Infinitary Logics in Abstract Algebraic ..:

Lávička, Tomáš ; Noguera, Carles
Studia Logica: An International Journal for Symbolic Logic. 105 (2017) 3 - p. 521-551 , 2017

Link: https://www.jstor.org/st..

6

Extension Properties and Subdirect Representation in Abstra..:

Lávička, Tomáš ; Noguera, Carles
Studia Logica. 106 (2017) 6 - p. 1065-1095 , 2017

Link: https://doi.org/10.1007/..

7

A New Hierarchy of Infinitary Logics in Abstract Algebraic ..:

Lávička, Tomáš ; Noguera, Carles
Studia Logica. 105 (2016) 3 - p. 521-551 , 2016

Link: https://doi.org/10.1007/..

8

Semisimplicity, Glivenko theorems, and the excluded middle:

Lávička, Tomáš ; Přenosil, Adam
http://arxiv.org/abs/2101.03528. , 2021

Link: http://arxiv.org/abs/210..

9

An abstract study of completeness in infinitary logics ; Ab..:

Lávička, Tomáš
http://hdl.handle.net/20.500.11956/103651. , 2018

Link: https://hdl.handle.net/2..

10

Completely separably MAD families and the modal logic of $\..:

Lávička, Tomáš ; Verner, Jonathan L
http://arxiv.org/abs/1709.06862. , 2017

Link: http://arxiv.org/abs/170..

11

Double-line Harmony in a Sequent Setting:

Gratzl, Norbert ; Orlandelli, Eugenio ; Arazim, Pavel.
info:eu-repo/grantAgreement/EC/H2020/675415/EU/Diaphora: Philosophical Problems, Resilience and Persistent Disagreement/Diaphora. , 2017

Link: https://epub.ub.uni-muen..

12

Classification of (in)finitary logics ; Klasifikace (in)fin..:

Lávička, Tomáš
http://hdl.handle.net/20.500.11956/80515. , 2015

Link: https://hdl.handle.net/2..

13

Generalized Boolean models and classical predicate logic ; ..:

Lávička, Tomáš
http://hdl.handle.net/20.500.11956/52437. , 2013

Link: https://hdl.handle.net/2..

14

Lindenbaum-style proof of completeness for infinitary logic:

Bílková, M. (Marta) ; Cintula, P. (Petr) ; Lávička, T. (Tomáš)
http://hdl.handle.net/11104/0276064. , 2017

Link: http://hdl.handle.net/11..

15

Protonegationality and inconsistency lemmas: part II:

Lávička, T. (Tomáš) ; Přenosil, A. (Adam)
http://hdl.handle.net/11104/0278677. , 2017

Link: http://hdl.handle.net/11..