Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Walicki, Michal"'
Autor:
Walicki, Michal
Using a graph representation of classical logic, the paper shows that the liar or Yablo pattern occurs in every semantic paradox. The core graph theoretic result generalizes theorem of Richardson, showing solvability of finite graphs without odd cycl
Externí odkaz:
http://arxiv.org/abs/2309.03137
Autor:
Walicki, Michal, Dyrkolbotn, Sjur
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsiste
Externí odkaz:
http://arxiv.org/abs/1906.03476
Autor:
WALICKI, MICHAŁ
Publikováno v:
The Journal of Symbolic Logic, 2017 Jun 01. 82(2), 709-723.
Externí odkaz:
https://www.jstor.org/stable/26358471
Autor:
Dyrkolbotn, Sjur, Walicki, Michał
Publikováno v:
Synthese, 2014 Mar 01. 191(5), 863-899.
Externí odkaz:
https://www.jstor.org/stable/24019987
Autor:
Dyrkolbotn, Sjur, Walicki, Michał
Publikováno v:
In Discrete Mathematics 28 August 2012 312(16):2498-2505
Publikováno v:
In Annals of Pure and Applied Logic 2012 163(3):200-213
Autor:
Walicki, Michał
Publikováno v:
Synthese, 2009 Nov 01. 171(1), 195-226.
Externí odkaz:
https://www.jstor.org/stable/40495992
Publikováno v:
Journal of Logic, Language, and Information, 2009 Jan 01. 18(1), 97-129.
Externí odkaz:
https://www.jstor.org/stable/40345526
Autor:
Walicki, Michał, Ferreira, Diogo R.
Publikováno v:
In Data & Knowledge Engineering October 2011 70(10):821-841