Search

Your search keyword '"Walicki, Michał"' showing total 164 results
Start Over Author "Walicki, Michał"
164 results on '"Walicki, Michał"'

2. There are only two paradoxes

Author

Walicki, Michal

Subjects
Mathematics - Logic, Computer Science - Logic in Computer Science
Abstract

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 cycles, to arbitrary graphs which are proven solvable when no odd cycles nor patterns generalizing Yablo's occur. This follows from an earlier result by a new compactness-like theorem, holding for infinitary logic and utilizing the graph representation., Comment: The proof of the main Theorem 3.7 has some flaws. A minor one, which can be fixed, is the choice of \mathcal{H} as "the set of all sinkless induced subgraphs of H having finitely many ends." A more serious one is that the proof could be used to establish an untrue claim. It is not clear yet what specific mistake causes it

Published
2023

3. Paraconsistency, resolution and relevance

Author

Walicki, Michal and Dyrkolbotn, Sjur

Subjects
Mathematics - Logic, Computer Science - Logic in Computer Science
Abstract

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 inconsistent theories, specializing to the classical semantics for the consistent ones. Direct (instead of refutational) reasoning with classical resolution is sound and complete for this semantics, when augmented with a specific weakening which, in particular, excludes Ex Falso. Dropping all forms of weakening yields reasoning which also avoids typical fallacies of relevance.

Published
2019

12. Strongly Complete Axiomatizations of 'Knowing at Most' in Syntactic Structures

Author

Ågotnes, Thomas, Walicki, Michal, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Toni, Francesca, editor, and Torroni, Paolo, editor

Published
2006
Full Text
View/download PDF

13. Complete Axiomatizations of Finite Syntactic Epistemic States

Author

Ågotnes, Thomas, Walicki, Michal, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baldoni, Matteo, editor, Endriss, Ulle, editor, Omicini, Andrea, editor, and Torroni, Paolo, editor

Published
2006
Full Text
View/download PDF

14. Bireachability and Final Multialgebras

Author

Walicki, Michał, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fiadeiro, José Luiz, editor, Harman, Neil, editor, Roggenbach, Markus, editor, and Rutten, Jan, editor

Published
2005
Full Text
View/download PDF

33. Extensions in graph normal form.

Author

Walicki, Michał

Subjects
PROPOSITION (Logic), SEMANTICS, SYNTAX (Grammar)
Abstract

Graph normal form, introduced earlier for propositional logic, is shown to be a normal form also for first-order logic. It allows to view syntax of theories as digraphs, while their semantics as kernels of these digraphs. Graphs are particularly well suited for studying circularity, and we provide some general means for verifying that circular or apparently circular extensions are conservative. Traditional syntactic means of ensuring conservativity, like definitional extensions or positive occurrences guaranteeing exsitence of fixed points, emerge as special cases. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

43. Le professeur Morelowski (1884-1963)

Author

Walicki, Michał

Subjects
Nachruf, Graphics arts, prints, Morelovski de Prus, Marian, Organizations and museology, Drawing and decorative arts, Sculpture, Painting, Plastic arts, numismatics, ceramics, metalwork, Architecture, Photography, East Europe, Artists, Architects, Decorative Arts, Aesthetics, Art History, Museology, Art Collection, Art Museum, Iconography, Art education, Conservation, Forgery, Historic Conservation, FOS: Civil engineering
Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results